Deciding Query Entailment in Fuzzy OWL Lite Ontologies

Significant research efforts in the Semantic Web community are recently directed toward the representation and reasoning with fuzzy ontologies. Description logics (DLs) are the logical foundations of standard Web ontology languages. Conjunctive queries are deemed as an expressive reasoning service for DLs. This chapter focuses on fuzzy (threshold) conjunctive queries over knowledge bases encoding in fuzzy DL SHIF ( ) D , the logic counterpart of fuzzy OWL Lite language. It shows decidability of fuzzy query entailment in this setting by providing a corresponding tableau-based algorithm. The chapter shows data complexity for answering fuzzy conjunctive queries in fuzzy SHIF ( ) D is in coNP, as long as only simple roles occur in the query. Regarding combined complexity, this research proves a co3NExpTime upper bound in the size of the knowledge base and the query.

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

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

[3]  Sebastian Rudolph,et al.  Conjunctive Queries for a Tractable Fragment of OWL 1.1 , 2007, ISWC/ASWC.

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

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

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

[7]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

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

[9]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[10]  Ian Horrocks,et al.  Conjunctive Query Entailment for SHOQ , 2007, Description Logics.

[11]  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 .

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

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

[14]  Diego Calvanese,et al.  Data Complexity of Query Answering in Expressive Description Logics via Tableaux , 2008, Journal of Automated Reasoning.

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

[16]  Diego Calvanese,et al.  Data Complexity of Answering Unions of Conjunctive Queries in SHIQ , 2006, Description Logics.

[17]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[18]  Riccardo Rosati,et al.  The Limits of Querying Ontologies , 2007, ICDT.

[19]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

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

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