A four-valued semantics for terminological logics
Artificial Intelligence
A database needs two kinds of negation
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Attributive concept descriptions with complements
Artificial Intelligence
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 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
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
| Hi-index | 0.00 |
It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for description logics are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.