421 search results - page 9 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CADE
2004
Springer
15 years 11 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
DLOG
2007
15 years 1 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
KR
2004
Springer
15 years 4 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
ER
2007
Springer
15 years 5 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
121
click to vote
ESWA
2006
14 years 11 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...