Reasoning with qualified cardinality restrictions in fuzzy Description Logics

Author

Stoilos, Giorgos ; Stamou, Giorgos ; Kollias, Stefanos

Author_Institution

Sch. of Electr. & Comput. Eng., Nat. & Tech. Univ. of Athen, Zografou

fYear

2008

fDate

1-6 June 2008

Firstpage

637

Lastpage

644

Abstract

Description logics (DLs) are modern knowledge representation formalisms which are used today in many applications for reasoning with structured knowledge. Moreover, they are used in the semantic web (an extension of the current web) through the ontology language OWL. On the other hand fuzzy description logics (fuzzy-DLs) have been proposed as expressive logical formalisms capable of capturing and reasoning with vague and imprecise knowledge in the semantic web. In the current paper we investigate on the problem of reasoning with qualified cardinality restrictions (QCRs) in fuzzy DLs, extending previous results on simple number restrictions, thus we present a tableaux algorithm for the the fuzzy-DL f_KD-ALCIQ.

Keywords

fuzzy logic; fuzzy set theory; ontologies (artificial intelligence); semantic Web; fuzzy description logics; knowledge representation formalisms; ontology language; qualified cardinality restrictions; semantic Web; structured knowledge reasoning; tableaux algorithm; Fuzzy logic; Fuzzy reasoning; Helium; Humans; Image analysis; Image segmentation; Inference algorithms; OWL; Proposals; Semantic Web;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Systems, 2008. FUZZ-IEEE 2008. (IEEE World Congress on Computational Intelligence). IEEE International Conference on

Conference_Location

Hong Kong

ISSN

1098-7584

Print_ISBN

978-1-4244-1818-3

Electronic_ISBN

1098-7584

Type

conf

DOI

10.1109/FUZZY.2008.4630436

Filename

4630436