Nguyen, Linh Anh Szalas, Andrzej 2012 (English)In: Transactions on Compuational Collective Intelligence VI / [ed] Ngoc Thanh Nguyen, Springer Berlin/Heidelberg, 2012, no 6, 36-55Chapter in book (Refereed)
Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They are used in many multiagent and Semantic Web applications as a foundation for specifying knowledge bases and reasoning about them. Among them, one of the most important logics is SROIQ, providing the logical foundation for the OWL 2 Web Ontology Language recommended by W3C in October 2009. In the current paper we address the problem of inconsistent knowledge. Inconsistencies may naturally appear in the considered application domains, for example as a result of fusing knowledge from distributed sources. We introduce a number of paraconsistent semantics for SROIQ, including three-valued and four-valued semantics. The four-valued semantics reflects the well-known approach introduced in [5,4] and is considered here for comparison reasons only. We also study the relationship between the semantics and paraconsistent reasoning in SROIQ through a translation into the traditional two-valued semantics. Such a translation allows one to use existing tools and reasoners to deal with inconsistent knowledge.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 7190
National CategoryComputer and Information Science
Identifiersurn:nbn:se:liu:diva-80268 (URN)10.1007/978-3-642-29356-6_2 (DOI)978-3-642-29355-9 (print) (ISBN)978-3-642-29356-6 (online) (ISBN)oai:DiVA.org:liu-80268 (OAI)diva2:546383 (DiVA)