Query Answering in Fuzzy Description Logics with Data Type Support

Fuzzy ontologies are deemed as useful formalisms for dealing with vagueness in the Semantic Web community. Description logics (DLs) are the logical foundations of standard web ontology languages. Conjunctive queries are deemed as an expressive reasoning service for DLs. DL reasoners can be enriched by a conjunctive query service. In this study, we focus on fuzzy (threshold) conjunctive queries over knowledge bases encoding in fuzzy DL ALC(G), the well known fuzzy DL with customized fuzzy data type support. We provide a tableau-based algorithm for deciding query entailment of ALC(G). Our algorithm is applicable to more expressive DLs and arbitrary conforming fuzzy data type group.