Computer Science – Artificial Intelligence
Scientific paper
2011-10-31
Journal Of Artificial Intelligence Research, Volume 30, pages 273-320, 2007
Computer Science
Artificial Intelligence
Scientific paper
10.1613/jair.2279
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last decade, mainly due to their decidability and the existence of empirically high performance of reasoning algorithms. In this paper, we extend the well known fuzzy ALC DL to the fuzzy SHIN DL, which extends the fuzzy ALC DL with transitive role axioms (S), inverse roles (I), role hierarchies (H) and number restrictions (N). We illustrate why transitive role axioms are difficult to handle in the presence of fuzzy interpretations and how to handle them properly. Then we extend these results by adding role hierarchies and finally number restrictions. The main contributions of the paper are the decidability proof of the fuzzy DL languages fuzzy-SI and fuzzy-SHIN, as well as decision procedures for the knowledge base satisfiability problem of the fuzzy-SI and fuzzy-SHIN.
Horrocks Ian
Pan J. Z.
Stamou G. G.
Stoilos G.
Tzouvaras V.
No associations
LandOfFree
Reasoning with Very Expressive Fuzzy Description Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning with Very Expressive Fuzzy Description Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning with Very Expressive Fuzzy Description Logics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-466650