Advertisement

Reasoning Technique for Extended Fuzzy \(\cal{ALCQ}\)

  • Yanhui Li
  • Baowen Xu
  • Jianjiang Lu
  • Dazhou Kang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3981)

Abstract

Classical description logics are limited to dealing with crisp concepts and crisp roles. However, Web applications based on description logics should allow the treatment of the inherent imprecision. Therefore, it is necessary to add fuzzy features to description logics. A family of extended fuzzy description logics, which is a fuzzy extension of description logics by introducing cut set to describe fuzzy feature, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of a given extended fuzzy description logic extended fuzzy \(\cal {ALCQ}\) by adopting classical description logic \(\cal{ALCQ}\) to discretely simulate extended fuzzy \(\cal{ALCQ}\) in polynomial time and reusing the existing result to prove the complexity of extended fuzzy \(\cal{ALCQ}\) reasoning tasks.

Keywords

Description Logic Reasoning Task Fuzzy Extension Role Instance Fuzzy Feature 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)MATHGoogle Scholar
  2. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  3. 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
  4. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)MATHMathSciNetGoogle Scholar
  5. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1–26 (1991)MATHCrossRefMathSciNetGoogle Scholar
  6. Li, Y.H., Xu, B.W., Lu, J.J., Kang, D.Z., Wang, P.: A family of extended fuzzy description logics. In: Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh (2005)Google Scholar
  7. Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)MATHCrossRefMathSciNetGoogle Scholar
  8. Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1), 5–40 (2001)MATHCrossRefMathSciNetGoogle Scholar
  9. Heinsohn, J.: Probabilistic description logics. In: Proceedings of UAI 1994, pp. 311–318 (1994)Google Scholar
  10. Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings of KR 1994, pp. 305–316 (1994)Google Scholar
  11. Giugno, R., Lukasiewicz, T.: A probabilistic extension of shoq(d) for probabilistic ontologies in the semantic web. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Cosenza, pp. 23–26 (2002)Google Scholar
  12. Yen, J.: Generalizing term subsumption languages to fuzzy logic. In: Proceedings of the 12th Int. Joint Conference on Artificial Intelligence, Sydney, pp. 472–477 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Yanhui Li
    • 1
    • 2
  • Baowen Xu
    • 1
    • 2
  • Jianjiang Lu
    • 1
    • 2
    • 3
  • Dazhou Kang
    • 1
    • 2
  1. 1.Department of Computer Science and EngineeringSoutheast UniversityNanjingP.R. China
  2. 2.Jiangsu Institute of Software QualityNanjingP.R. China
  3. 3.PLA University of Science and TechnologyNanjingP.R. China

Personalised recommendations