Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Effective query rewriting with ontologies over DBoxes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reconciling description logics and rules
Journal of the ACM (JACM)
The Description Logic Handbook: Theory, Implementation and Applications
The Description Logic Handbook: Theory, Implementation and Applications
Query Answering with DBoxes is Hard
Electronic Notes in Theoretical Computer Science (ENTCS)
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
Ontology and other logical languages are built around the idea that axioms enable the inference of new facts about the available data. In some circumstances, however, the data is meant to be complete in certain ways, and deducing new facts may be undesirable. Previous approaches to this issue have relied on syntactically specifying certain axioms as constraints or adding in new constructs for constraints, and providing a different or extended meaning for constraints that reduces or eliminates their ability to infer new facts without requiring the data to be complete. We propose to instead directly state that the extension of certain concepts and roles are complete by making them DBox predicates, which eliminates the distinction between regular axioms and constraints for these concepts and roles. This proposal eliminates the need for special semantics and avoids problems of previous proposals.