Lecture Notes in Computer Science, 2009, Volume 5690/2009, 830-837, DOI: 10.1007/978-3-642-03573-9_70

Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases

Jingwei Cheng, Z. M. Ma, Fu Zhang and Xing Wang

View Related Documents

Abstract

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 ALCN\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.

Fulltext Preview

Image of the first page of the fulltext document