Eliminating the fixed predicates from a circumscription
Artificial Intelligence
Attributive concept descriptions with complements
Artificial Intelligence
Reasoning with individuals in concept languages
Data & Knowledge Engineering
An epistemic operator for description logics
Artificial Intelligence
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantic Matchmaking with Nonmonotonic Description Logics: Volume 1 Studies on the Semantic Web
Semantic Matchmaking with Nonmonotonic Description Logics: Volume 1 Studies on the Semantic Web
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Local closed world semantics: grounded circumscription for description logics
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A Tableau Calculus for Minimal Modal Model Generation
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
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.01 |
Nonmonotonic extensions of description logics (DLs) allow for default and local closed-world reasoning and are an acknowledged desired feature for applications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy's circumscription, which rests on the principle of minimising the extension of selected predicates to close off dedicated parts of a domain model. While decidability and complexity results have been established in the literature, no practical algorithmisation for circumscriptive DLs has been proposed so far. In this paper, we present a tableaux calculus that can be used as a decision procedure for concept satisfiability with respect to concept-circumscribed ${\mathcal ALCO}$ knowledge bases. The calculus builds on existing tableaux for classical DLs, extended by the notion of a preference clash to detect the non-minimality of constructed models.