A Possibilistic Extension of Description Logics
نویسندگان
چکیده
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are implemented using KAON2 reasoner.
منابع مشابه
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics. We then define two inference services in possibilistic description logics. Since possibilistic inference suffers from the drownin...
متن کاملConsistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We compare these two approaches and comment on their differences concentrating on the consistency issue of knowledge bases represented in these extended frameworks. We present a classification of existing algorithms and ...
متن کاملPossibilistic Planning Using Description Logics: A First Step
This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description logics. Fuzzy description logics are used to describe knowledge about the world and about actions. Fundamental definitions are given and the possibilistic planning problem is recast in this new setting.
متن کاملPossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling
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 exists. Based on our previous work, we develop a possibilistic description logic reasoner. Our demo will i...
متن کاملFrom Possibilistic Information to Kleene's Strong Multi-valued Logics
Possibilistic logic in general [7, 8, 9, 10] investigates how possibilistic uncertainty about propositions is propagated when making inferences in a formal logical system. In this paper, we look at a very particular aspect of possibilistic logic: we investigate how, under certain independence assumptions, the introduction of possibilistic uncertainty in classical propositional logic leads to th...
متن کامل