Skip to main content

A Fuzzy Extension of Description Logic \(\mathcal{ALCH}\)

  • Conference paper
MICAI 2005: Advances in Artificial Intelligence (MICAI 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3789))

Included in the following conference series:

  • 1528 Accesses

Abstract

Based on the idea that the cut sets of fuzzy sets are indeed crisp, but facilitate a normative theory for formalizing fuzzy set theory, this paper introduces cut sets of the fuzzy concepts and fuzzy roles as atomic concepts and atomic roles to build \(\mathcal{EFALCH}\) , a new fuzzy extension of \(\mathcal{ALCH}\). This paper gives the definition of syntax, semantics and knowledge base of \(\mathcal{EFALCH}\) and discusses the comparison among \(\mathcal{EFALCH}\) and other fuzzy extensions of \(\mathcal{ALCH}\). In addition, this paper defines the acyclic TBox form of \(\mathcal{EFALCH}\), presents sound and complete algorithms for reasoning tasks w.r.t acyclic TBox, and proves the complexity of them is PSPACE-complete.

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)

    MATH  MathSciNet  Google Scholar 

  2. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lisbon, pp. 385–399 (2004)

    Google Scholar 

  3. Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

  4. 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)

    MATH  Google Scholar 

  5. Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1), 5–40 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  6. Nebel, B.: Computational complexity of terminological reasoning in BACK. Artificial Intelligence 34, 371–383 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  7. Calvanese, D.: Reasoning with inclusion axioms in description logics: Algorithms and complexity. In: Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI 1996), Budapest, pp. 303–307 (1996)

    Google Scholar 

  8. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, Y., Lu, J., Xu, B., Kang, D., Jiang, J. (2005). A Fuzzy Extension of Description Logic \(\mathcal{ALCH}\) . In: Gelbukh, A., de Albornoz, Á., Terashima-Marín, H. (eds) MICAI 2005: Advances in Artificial Intelligence. MICAI 2005. Lecture Notes in Computer Science(), vol 3789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11579427_16

Download citation

  • DOI: https://doi.org/10.1007/11579427_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29896-0

  • Online ISBN: 978-3-540-31653-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics