A Comparison of Paraconsistent Description Logics

HTML  XML Download Download as PDF (Size: 291KB)  PP. 99-109  
DOI: 10.4236/ijis.2013.32011    3,076 Downloads   5,725 Views  Citations
Author(s)

ABSTRACT

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.

Share and Cite:

N. Kamide, "A Comparison of Paraconsistent Description Logics," International Journal of Intelligence Science, Vol. 3 No. 2, 2013, pp. 99-109. doi: 10.4236/ijis.2013.32011.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.