A tableau algorithm for possibilistic description logic ALC

Guilin Qi*, Jeff Z. Pan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Abstract

Uncertainty reasoning and inconsistency handling are two important problems that often occur in the applications of the Semantic Web. Possibilistic description logics provide a flexible framework for representing and reasoning with ontologies where uncertain and/or inconsistent information is available. Although possibilistic logic has become a popular logical framework for uncertainty reasoning and inconsistency handling, its role in the Semantic Web is underestimated. One of the challenging problems is to provide a practical algorithm for reasoning in possibilistic description logics. In this paper, we propose a tableau algorithm for possibilistic description logic . We show how inference services in possibilistic can be reduced to the problem of computing the inconsistency degree of the knowledge base. We then give tableau expansion rules for computing the inconsistency degree of a possibilistic knowledge. We show that our algorithm is sound and complete. The computational complexity of our algorithm is analyzed. Since our tableau algorithm is an extension of a tableau algorithm for , we can reuse many optimization techniques for tableau algorithms of to improve the performance of our algorithm so that it can be applied in practice.

Original languageEnglish
Title of host publicationThe Semantic Web - 3rd Asian Semantic Web Conference, ASWC 2008, Proceedings
Pages61-75
Number of pages15
DOIs
Publication statusPublished - 31 Dec 2008
Event3rd Asian Semantic Web Conference, ASWC 2008 - Bangkok, Thailand
Duration: 8 Dec 200811 Dec 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5367 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd Asian Semantic Web Conference, ASWC 2008
CountryThailand
CityBangkok
Period8/12/0811/12/08

Fingerprint Dive into the research topics of 'A tableau algorithm for possibilistic description logic ALC'. Together they form a unique fingerprint.

Cite this