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

Direct link
Three-Valued Paraconsistent Reasoning for Semantic Web Agents
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.

Lecture Notes in Artificial Intelligence, ISSN 0302-9743 ; 6070
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-65965DOI: 10.1007/978-3-642-13480-7_17ISBN: 978-3-642-13479-1OAI: diva2:400674
Available from2011-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
Nguyen, Anh LinhSzalas, 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: 19 hits
ReferencesLink to record
Permanent link

Direct link