Possibilistic DL-Lite

DL-Lite is one of the most important fragment of description logics that allows a flexible representation of knowledge with a low computational complexity of the reasoning process. This paper investigates an extension of DL-Lite to deal with uncertainty associated with objects, concepts or relations using a possibility theory framework. Possibility theory offers a natural framework for representing uncertain and incomplete information. It is particularly useful for handling inconsistent knowledge. We first provide foundations of possibilistic DL-Lite, denoted by π-DL-Lite, where we present its syntax and its semantics. We then study the reasoning tasks and show how to measure the inconsistency degree of a knowledge base using query evaluations. An important result of the paper is that the extension of the expressive power of DL-Lite is done without additional extra computational costs.

[1]  Jianfeng Du,et al.  Extending description logics with uncertainty reasoning in possibilistic logic , 2007, Int. J. Intell. Syst..

[2]  Umberto Straccia,et al.  Description logic programs under probabilistic uncertainty and fuzzy vagueness , 2009, Int. J. Approx. Reason..

[3]  Umberto Straccia,et al.  A Fuzzy Description Logic , 1998, AAAI/IAAI.

[4]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[5]  Elie Sanchez,et al.  Fuzzy Logic and the Semantic Web , 2005 .

[6]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[7]  Bernadette Bouchon-Meunier,et al.  Consistency Checking for Extended Description Logics , 2008, Description Logics.

[8]  Jeff Z. Pan,et al.  Expressive Querying over Fuzzy DL-Lite Ontologies , 2007, Description Logics.

[9]  J. Lucas M. Barbosa,et al.  A preliminary discussion , 1986 .

[10]  H. Prade,et al.  Possibilistic logic , 1994 .

[11]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[12]  Didier Dubois,et al.  Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion , 2006, Fuzzy Logic and the Semantic Web.

[13]  Jianfeng Du,et al.  PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling , 2010, ESWC.

[14]  Guilin Qi,et al.  A Tableau Algorithm for Possibilistic Description Logic , 2008, ASWC.

[15]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[16]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[17]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[18]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[19]  Guilin Qi,et al.  Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic , 2007, ECSQARU.

[20]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[21]  Bernhard Hollunder.  An alternative proof method for possibilistic logic and its application to terminological logics , 1994, Int. J. Approx. Reason..

[22]  Umberto Straccia,et al.  fuzzyDL: An expressive fuzzy description logic reasoner , 2008, 2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence).

[23]  Umberto Straccia,et al.  Towards Top-k Query Answering in Description Logics: The Case of DL-Lite , 2006, JELIA.

[24]  Guilin Qi,et al.  A Possibilistic Extension of Description Logics , 2007, Description Logics.