| G. Stoilos, G. Stamou and S. Kollias |
| Reasoning with Qualified Cardinality Restrictions in Fuzzy Description Logics |
| Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 08) |
|
ABSTRACT
|
| The Semantic Web is an extension of the current web where information would have precisely defined meaning based on formal semantics and structured using a knowledge representational language. Fuzzy Description Logics (fuzzy-DLs) have been proposed as expressive logical formalisms capable of capturing and reasoning with vague and imprecise knowledge in Semantic Web enabled applications. In the current paper we investigate on the problem of reasoning with qualified cardinality restrictions in fuzzy DLs, thus we present a tableaux algorithm for the the fuzzy-DL fdk-ALCIQ.
|
| 04 March , 2008 |
| G. Stoilos, G. Stamou and S. Kollias, "Reasoning with Qualified Cardinality Restrictions in Fuzzy Description Logics", Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 08) |
[  PDF] [
BibTex] [
Print] [
 Back] |
