Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
An epistemic operator for description logics
Artificial Intelligence
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Inconsistency Tolerance (Lecture Notes in Computer Science)
Inconsistency Tolerance (Lecture Notes in Computer Science)
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
A Tableau Algorithm for Handling Inconsistency in OWL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Four-Valued semantics for default logic
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent version of description logics. A precedence relation between two paradoxical models of knowledge bases is firstly introduced to obtain minimally paradoxical models by filtering those models which contain more inconsistencies than others. A new entailment relationship between a KB and an axiom characterized by minimal paradoxical models is applied to characterize the semantics of a paraconsistent and nonmonotonic description logic. An important advantage of our adaptation is simultaneously overtaking proverbial shortcomings of existing two kinds extensions of description logics: the weak inference power of paraconsistent description logics and the incapacity of nonmonotonic description logics in handling inconsistencies. Moreover, our paraconsistent and nonmonotonic extension not only preserves the syntax of description logic but also maintains the decidability of basic reasoning problems in description logics. Finally, we develop a sound and complete tableau algorithm for instance checking with the minimally paradoxical semantics.