liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
Paraconsistent Reasoning for Semantic Web Agents
2012 (English)In: Transactions on Compuational Collective Intelligence VI / [ed] Ngoc Thanh Nguyen, Springer Berlin/Heidelberg, 2012, no 6, 36-55Chapter in book (Refereed)
Abstract [en]

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 Category
Computer and Information Science
urn: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)diva2:546383 (DiVA)
Available from2012-08-23 Created:2012-08-23 Last updated:2014-11-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Nguyen, Linh AnhSzalas, Andrzej
By organisation
University of Warsaw, PolandArtificial Intelligence and Intergrated Computer systemsThe Institute of Technology
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 29 hits
ReferencesLink to record
Permanent link

Direct link