PossDL — a possibilistic DL reasoner for uncertainty reasoning and inconsistency handling

Authors:
Guilin Qi;Qiu Ji;Jeff Z. Pan;Jianfeng Du
Affiliations:
School of Computer Science and Engineering, Southeast University, Nanjing;Institute AIFB, University of Karlsruhe, Karlsruhe, Germany;Department of Computing Science, University of Aberdeen, Aberdeen, UK;Guangdong University of Foreign Studies, Guangzhou, China
Venue:
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Year:
2010

Citing 9
Cited 1

Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Expressive probabilistic description logics

Artificial Intelligence
Scalable querying services over fuzzy ontologies

Proceedings of the 17th international conference on World Wide Web
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
An alternative proof method for possibilistic logicand its application to terminological logics

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence

TURAMBAR: an approach to deal with uncertainty in semantic environments

IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care

Quantified Score

Hi-index	0.00

Visualization

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 exists. Based on our previous work, we develop a possibilistic description logic reasoner. Our demo will illustrate functionalities of our reasoner for various reasoning tasks that possibilistic description logics can provide.