A relevance terminological logic for information retrieval
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
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
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Three-valued paraconsistent reasoning for semantic web agents
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Paraconsistent reasoning for semantic web agents
Transactions on Compuational Collective Intelligence VI
Hi-index | 0.00 |
We introduce a number of paraconsistent semantics, including three-valued and four-valued semantics, for the description logic SROIQ, which is the logical foundation of OWL 2. We then study the relationship between the semantics and paraconsistent reasoning in SROIQ w.r.t. some of them through a translation into the traditional semantics. We also present a formalization of rough concepts in SROIQ.