A four-valued semantics for terminological logics
Artificial Intelligence
Reasoning about truth (research note)
Artificial Intelligence
Attributive concept descriptions with complements
Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
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
Inconsistency Tolerance
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Paraconsistent reasoning for semantic web agents
Transactions on Compuational Collective Intelligence VI
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Inconsistency-tolerant reasoning with OWL DL
International Journal of Approximate Reasoning
Hi-index | 0.00 |
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in the Semantic Web contain noise and inaccuracies. However, as the logical foundation of Ontology Web Language in the Semantic Web, description logics fail to tolerate inconsistent information. The study of inconsistency handling in description logics is an important issue in the Semantic Web. One major approach to inconsistency handling is based on so-called paraconsistent reasoning, in which standard semantics is refined so that inconsistencies can be tolerated. Four-valued description logics are not satisfactory for the Semantic Web in that its reasoning is a bit far from standard semantics. In this paper, we present a paraconsistent description logic called paradoxical description logic, which is based on a three-valued semantics. Compared to existing paraconsistent description logics, our approach is more suitable for dealing with inconsistent ontologies in that paraconsistent reasoning under our semantics provides a better approximation to the standard reasoning. An important result in this paper is that we propose a sound and complete tableau for paradoxical description logics.