Thumbnail
Access Restriction
Subscribed

Author Stoilos, G. ♦ Stamou, G. ♦ Kollias, S.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2008
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Special computer methods
Subject Keyword Cognition ♦ OWL ♦ Image segmentation ♦ Semantic web ♦ Inference algorithms ♦ Knowledge engineering ♦ Algorithm design and analysis
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.$
Description Author affiliation: Sch. of Electr. & Comput. Eng., Nat. & Tech. Univ. of Athen, Zografou (Stoilos, G.; Stamou, G.; Kollias, S.)
ISBN 9781424418183
ISSN 10987584
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2008-06-01
Publisher Place China
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 209.72 kB
Page Count 8
Starting Page 637
Ending Page 644


Source: IEEE Xplore Digital Library