Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases

Existing fuzzy description logic (DL) reasoners either are not capable of answering conjunctive queries, or only apply to DLs with less expressivity. In this paper, we present an algorithm for answering expressive fuzzy conjunctive queries, which allows the occurrence of both lower bound and the upper bound of thresholds in a query atom, over the relative expressive DL, namely fuzzy $\mathcal{ALCN}$. Our algorithm is specially tailored for deciding conjunctive query entailment of negative role atoms in the form of R (x ,y ) ≤ n or R (x ,y ) < n which, to the best of our knowledge, has not been touched on in other literatures.

[1]  Giorgos Stoilos,et al.  Expressive Reasoning with Horn Rules and Fuzzy Description Logics , 2007, RR.

[2]  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).

[3]  Riccardo Rosati,et al.  On Conjunctive Query Answering in EL , 2007, Description Logics.

[4]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[5]  Umberto Straccia,et al.  General Concept Inclusions inFluzzy Description Logics , 2006, ECAI.

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

[7]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[8]  G. Stamou,et al.  Reasoning with Very Expressive Fuzzy Description Logics , 2007, J. Artif. Intell. Res..

[9]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[10]  Stefanos D. Kollias,et al.  Uncertainty and the Semantic Web , 2006, IEEE Intelligent Systems.

[11]  Jeff Z. Pan,et al.  Scalable querying services over fuzzy ontologies , 2008, WWW.

[12]  Umberto Straccia.  Answering Vague Queries in Fuzzy DL-Lite , 2006 .

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