Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
