Skip to main content

A Fuzzy Extension of Description Logic ALC with Comparison Expressions

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2006)

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

  • 911 Accesses

Abstract

The fuzzy description logics extend the classical description logics to support expressive representation and reasoning for fuzzy knowledge. But the current fuzzy description logics are not be accomplished in expressing comparisons between fuzzy memberships. The paper proposes \({\mathcal{ALC}_{FC}}\), a fuzzy extension of description logic \({\mathcal{ALC}}\) with comparison expressions. \({\mathcal{ALC}_{FC}}\) is able to express the comparisons between fuzzy assertions in ABoxes and define the comparison cut concepts for more complex comparison expressions. It also gives reasoning algorithms for satisfiability of \({\mathcal{ALC}_{FC}}\) concepts w.r.t. empty TBoxes.

This work was supported in part by the NSFC (60373066, 60425206 and 90412003), National Grand Fundamental Research 973 Program of China (2002CB312000), Innovation Plan for Jiangsu High School Graduate Student, Advanced Armament Research Project (51406020105JB8103) and Advanced Research Fund of Southeast University (XJ0609233), High Technology Research Project of Jiangsu Province (BG2005032).

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. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  2. Ye, J.: Generalizing term subsumption languages to fuzzy logic. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sidney, Australia, pp. 472–477 (1991)

    Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

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

  5. Straccia, U.: Description logics with fuzzy concrete domains. In: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, Edinburgh, pp. 385–399 (2005)

    Google Scholar 

  6. Straccia, U.: Towards a fuzzy description logic for the semantic web (preliminary report). In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 167–181. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Hölldobler, S., Störr, H.P., Tran, D.K.: The fuzzy description logic alcfh with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence and Intelligent Informatics 7, 294–305 (2003)

    Google Scholar 

  8. Sánchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logic. In: Reusch, B. (ed.) Proceedings of the 8th Fuzzy Days in Dortmund: Computational Intelligence, Theory and Applications. Advances in Soft Computing Series, Springer, Berlin (2004)

    Google Scholar 

  9. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: The fuzzy description logic f-shin. In: Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland (2005)

    Google Scholar 

  10. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy owl: Uncertainty and the semantic web. In: Proceedings of the International workshop on OWL: Experience and Directions, Galway, Ireland (2005)

    Google Scholar 

  11. Li, Y., Xu, B., Lu, J., Kang, D., Wang, P.: A family of extended fuzzy description logics. In: Proceedings of the IEEE 29th Annual International Computer Software and Applications Conference, Edinburgh, Scotland, pp. 221–226 (2005)

    Google Scholar 

  12. Li, Y., Xu, B., Lu, J., Kang, D., Wang, P.: Extended fuzzy alcn and its tableau algorithm. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 232–242. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kang, D., Xu, B., Lu, J., Li, Y. (2006). A Fuzzy Extension of Description Logic ALC with Comparison Expressions. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11892960_78

Download citation

  • DOI: https://doi.org/10.1007/11892960_78

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46535-5

  • Online ISBN: 978-3-540-46536-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics