LiU Electronic Press
Full-text not available in DiVA
Author:
Nguyen, Anh Linh (University of Warsaw)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Three-Valued Paraconsistent Reasoning for Semantic Web Agents
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications (KES-AMSTA)
Publisher: Springer
Series:
Lecture Notes in Artificial Intelligence, ISSN 0302-9743; 6070
Pages:
152-162
Year of publ.:
2010
URI:
urn:nbn:se:liu:diva-65965
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-65965
ISBN:
978-3-642-13479-1
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Abstract(en) :

Description logics [1] 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. One of widely applied description logics is SHIQ [7,8]. 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 define three three-valued paraconsistent semantics for SHIQ, reflecting different meanings of concept inclusion of practical importance. We also provide a quite general syntactic condition of safeness guaranteeing satisfiability of a knowledge base w.r.t. three-valued semantics and define a faithful translation of our formalism into a suitable version of a two-valued description logic. Such a translation allows one to use existing tools and SHIQ reasoners to deal with inconsistent knowledge.

Available from:
2011-02-28
Created:
2011-02-28
Last updated:
2011-03-09
Statistics:
0 hits