445 search results - page 67 / 89 » Anomalies in ontologies with rules |
DLOG
2007
13 years 9 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
CBMS
2009
IEEE
14 years 2 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...