1544 search results - page 33 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DLOG
2009
13 years 5 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
DLOG
2004
13 years 8 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
CL
2000
Springer
13 years 11 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
DLOG
2007
13 years 9 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...
CADE
2006
Springer
14 years 7 months ago
2006
Springer