On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combining Horn rules and description logics in CARIN
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Uncertainty and the Semantic Web
IEEE Intelligent Systems
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
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.