Abstract
This paper introduces cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles to build extended fuzzy \(\cal{ALCH}\) \(\cal{(EFALCH)}\), a new fuzzy extension of \(\cal{ALCH}\). It talks about two reasoning methods for \(\cal{ EFALCH}\). The first one presents a sound and complete algorithm for \(\cal{EFALCH}\) reasoning tasks and proves the complexity is PSPACE-complete. The second one reduces \(\cal{EFALCH}\) into \(\cal{ ALCH}\), which can be performed in polynomial time and keep the semantic consistency, and then uses \(\cal{ALCH}\) reasoning method to solve \(\cal{EFALCH}\) reasoning tasks.
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), Excellent Ph.D. Thesis Fund of Southeast University, and Advanced Armament Research Project (51406020105JB8103).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research (14), 137–166 (2001)
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)
Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1), 5–40 (2001)
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 (1997)
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
Kang, D., Lu, J., Xu, B., Li, Y., He, Y. (2005). Two Reasoning Methods for Extended Fuzzy ALCH. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3761. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575801_40
Download citation
DOI: https://doi.org/10.1007/11575801_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29738-3
Online ISBN: 978-3-540-32120-0
eBook Packages: Computer ScienceComputer Science (R0)