Title :
Query Answering in Fuzzy Description Logics with Data Type Support
Author :
Cheng, Jingwei ; Ma, Z.M. ; Wang, Yu
Author_Institution :
Notheastern Univ., Shenyang, China
fDate :
Aug. 31 2010-Sept. 3 2010
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.
Keywords :
fuzzy logic; ontologies (artificial intelligence); query processing; semantic Web; Web ontology languages; data type support; fuzzy conjunctive queries; fuzzy description logics; fuzzy ontology; query entailment; semantic Web; tableau-based algorithm;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology (WI-IAT), 2010 IEEE/WIC/ACM International Conference on
Conference_Location :
Toronto, ON
Print_ISBN :
978-1-4244-8482-9
Electronic_ISBN :
978-0-7695-4191-4
DOI :
10.1109/WI-IAT.2010.81
