Abstract
Typical description logics are limited to dealing with crisp concepts. It is necessary to add fuzzy features to description logics for management of the fuzzy information. In this paper, we propose extended fuzzy ALCN to enable representation and reasoning for complex fuzzy information. We define syntax structure, semantic interpretation and reasoning problems of the extended fuzzy ALCN, and discuss the reasoning properties inexistent in typical description logics. We also design tableau algorithms of reasoning problems for extended fuzzy ALCN. The tableau algorithms are developed in the style of so-called constraint propagation method. Extended fuzzy ALCN is more expressive than the existing fuzzy description logics and present more wide fuzzy information.
This work was supported in part by the NSFC (60373066, 60425206, 90412003), National Grand Fundamental Research 973 Program of China (2002CB312000), National Research Foundation for the Doctoral Program of Higher Education of China (20020286004).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Meghini, C., Sebastiani, F., Straccia, U.: Reasoning about the form and content for multimedia objects. In: Proceedings of AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio, California, pp. 89–94. AAAI Press, Menlo Park (1997)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research (14), 137–166 (2001)
Schmidt-Schau, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1–26 (1991)
Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 385–399. Springer, Heidelberg (2004)
Heinsohn, J.: Probabilistic description logics. In: Proceedings of UAI 1994, pp. 311–318 (1994)
Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings of KR 1994, pp. 305–316 (1994)
Giugno, R., Lukasiewicz, T.: A probabilistic extension of shoq(d) for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 23–26. Springer, Heidelberg (2002)
Yen, J.: Generalizing term subsumption languages to fuzzy logic. In: Proceedings of the 12th Int. Joint Conference on Artificial Intelligence, pp. 472–477 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lu, J., Xu, B., Li, Y., Kang, D., Wang, P. (2005). Extended Fuzzy ALCN and Its Tableau Algorithm. In: Wang, L., Jin, Y. (eds) Fuzzy Systems and Knowledge Discovery. FSKD 2005. Lecture Notes in Computer Science(), vol 3613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11539506_30
Download citation
DOI: https://doi.org/10.1007/11539506_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28312-6
Online ISBN: 978-3-540-31830-9
eBook Packages: Computer ScienceComputer Science (R0)