liu.seSearch for publications in DiVA
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-162Konferensbidrag (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:nbn:se:liu:diva-65965 (URN)10.1007/978-3-642-13480-7_17 (DOI)978-3-642-13479-1 (ISBN)oai:DiVA.org:liu-65965 (OAI)
Available from2011-02-28 Created:2011-02-28 Last updated:2011-03-09

Open Access in DiVA

No fulltext

Other links

Publisher's fulltext

Search in DiVA

By author/editor
Nguyen, Anh LinhSzalas, Andrzej
By organisation
University of WarsawKPLAB - 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

Citations

Web of Science®:

Altmetric score

Totalt: 17 hits
ReferencesLink to record
Permanent link

Direct link