Query Answering in Fuzzy Description Logics with Data Type Support

Author

Cheng, Jingwei ; Ma, Z.M. ; Wang, Yu

Author_Institution

Notheastern Univ., Shenyang, China

Volume

1

fYear

2010

fDate

Aug. 31 2010-Sept. 3 2010

Firstpage

240

Lastpage

247

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WI-IAT.2010.81

Filename

5616272