A four-valued semantics for terminological logics
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
A Sequent Calculus for Reasoning in Four-Valued Description Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial 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
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Hi-index | 0.00 |
In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent OWL called quasi-classical OWL to handle inconsistency with holding important inference rules such as modus tollens, modus ponens, and disjunctive syllogism. We propose a terminable, sound and complete tableau algorithm to implement paraconsistent reasoning in quasi-classical OWL. In comparison with other approaches to handle inconsistency in OWL, our approach enhances the ability of reasoning by integrating paraconsistent reasoning with important classical inference rules.