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

Direct link
Three-Valued Paraconsistent Reasoning for Semantic Web Agents
University of Warsaw.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2010 (English)In: Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications (KES-AMSTA), Springer, 2010, 152-162Conference paper (Refereed)
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.

Series
Lecture Notes in Artificial Intelligence, ISSN 0302-9743 ; 6070
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-65965DOI: 10.1007/978-3-642-13480-7_17ISBN: 978-3-642-13479-1OAI: oai:DiVA.org:liu-65965DiVA: diva2:400674
Available from: 2011-02-28 Created: 2011-02-28 Last updated: 2011-03-09

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

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: 23 hits
ReferencesLink to record
Permanent link

Direct link