A Comparison of Paraconsistent Description Logics

• 作者: Norihiro Kamide
• 来源期刊: 智能科学国际期刊(英文)
• 学科: 工学
• 关键词: Paraconsistent Description LOGIC Paraconsistent SEMANTICS Four-Valued SEMANTICS Quasi-Classical SEMANTICS Single-Interpretation SEMANTICS Dual-Interpretation SEMANTICS
• 年，卷（期）: 2013,（2）
• 页码范围: 99-109
• 页数: 11页
• 分类号: TP3

摘要

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.