LiU Electronic Press
Full-text not available in DiVA
Author:
Nguyen, Linh Anh (University of Warsaw, Poland)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems) (Linköping University, The Institute of Technology)
Title:
Paraconsistent Reasoning for Semantic Web Agents
Department:
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Intergrated Computer systems
Linköping University, The Institute of Technology
Publication type:
Chapter in book (Refereed)
Language:
English
In:
Transactions on Compuational Collective Intelligence VI
Editor:
Ngoc Thanh Nguyen
Publisher: Springer Berlin/Heidelberg
Series:
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online); 7190
Issue:
6
Pages:
36-55
Year of publ.:
2012
URI:
urn:nbn:se:liu:diva-80268
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-80268
ISBN:
978-3-642-29355-9, e-978-3-642-29356-6
Subject category:
Computer and Information Science
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.

Available from:
2012-08-23
Created:
2012-08-23
Last updated:
2013-01-31
Statistics:
27 hits