A Comparison of Paraconsistent Description Logics  

作　　者：Norihiro Kamide 

机构地区：[1]Faculty of Information Technology and Business, Cyber University, Tokyo, Japan

出　　处：《International Journal of Intelligence Science》2013年第2期99-109,共11页智能科学国际期刊（英文）

摘　　要：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.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.

关 键 词：Paraconsistent Description LOGIC Paraconsistent SEMANTICS Four-Valued SEMANTICS Quasi-Classical SEMANTICS Single-Interpretation SEMANTICS Dual-Interpretation SEMANTICS 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]