Skip to main content
SpringerLink
Log in

Transforming Fuzzy Description Logics into Classical Description Logics

  • Conference paper
Logics in Artificial Intelligence (JELIA 2004)

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

Included in the following conference series:

Abstract

In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the considerable practical consequence that reasoning in fuzzy DLs is feasible using already existing DL systems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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. Baeza-Yates, R.A., Baeza-Yates, R., Ribeiro-Neto, B.: Modern Information Retrieval. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1999)

    Google Scholar 

  3. Beckert, B., Hähnle, R., Manyá, F.: Transformations between signed and classical clause logic. In: ISMVL, pp. 248–255 (1999)

    Google Scholar 

  4. Bejar, R., Hahnle, R., Manyá, F.: A modular reduction of regular logic to classical logic. In: ISMVL, pp. 221–226 (2001)

    Google Scholar 

  5. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. The Scientific American 284(5), 34–43 (2001)

    Article  Google Scholar 

  6. Bordogna, G.: P Carrara, and G. Pasi. Query term weights as constraints in fuzzy information retrieval. Information Processing and Management 27(1), 15–26 (1991)

    Article  Google Scholar 

  7. da Silva, R.M., Pereira, A.E.C., Netto, M.A.: A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) IPMU 1994. LNCS, vol. 945, Springer, Heidelberg (1995)

    Google Scholar 

  8. Dill, S., Eiron, N., Gibson, D., Gruhl, D., Guha, R., Jhingran, A., Kanungo, T., Rajagopalan, S., Tomkins, A., Tomlin, J.A., Zien, J.Y.: SemTag: and Seeker: Bootstrapping the semantic web via automated semantic annotation. In: ACM WWW, Budapest, Hungary (2003)

    Google Scholar 

  9. Gevers, T., Smeulders, A.W.M.: Content-based image retrieval: An overview. In: Medioni, G., Kang, S.B. (eds.) Emerging Topics in Computer Vision, Prentice-Hall, Englewood Cliffs (2004)

    Google Scholar 

  10. Giugno, T.R., Lukasiewicz, T.: P-SHOQ(D): 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, p. 86. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Heinsohn, J.: Probabilistic description logics. In: Proc. of the 10th Conference on Uncertainty in Artificial Intelligence, pp. 311–318 (1994)

    Google Scholar 

  12. Hölldobler, S., Khang, T.D., Störr, H.-P.: A fuzzy description logic with hedges as concept modifiers. In: Phuong, N.H., Nguyen, H.T., Ho, N.C., Santiprabhob, P. (eds.) Proceedings InTech/VJFuzzy 2002, pp. 25–34. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam (2002)

    Google Scholar 

  13. Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. In: 10th Conference on Uncertainty in Artificial Intelligence, pp. 327–335. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  14. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)

    Google Scholar 

  15. Jäger, M.: Probabilistic reasoning in terminological logics. In: Proceedings of KR 1994, 5th International Conference on Principles of Knowledge Representation and Reasoning, pp. 305–316 (1994)

    Google Scholar 

  16. Kerre, E.E., Zenner, R.B., De Caluwe, R.M.: The use of fuzzy set theory in information retrieval and databases: a survey. Journal of the American Society for Information Science 37(5), 341–345 (1986)

    Google Scholar 

  17. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367 (1992)

    Article  MathSciNet  Google Scholar 

  18. Koller, D., Levy, A., Pfeffer, A.: P-CLASSIC: A tractable probabilistic description logic. In: Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI 1997), pp. 390–397 (1997)

    Google Scholar 

  19. Kraft, D.H., Buel, D.: Fuzzy sets and generalised boolean retrieval systems. Int. J. Man-Machine Studies 19, 45–56 (1983)

    Article  Google Scholar 

  20. Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering 13(4), 554–570 (2001)

    Article  Google Scholar 

  21. Lee, R.C.T.: Fuzzy logic and the resolution principle. Journal of the ACM 19(1), 109–119 (1972)

    Article  MATH  Google Scholar 

  22. Lutz, C., Wolter, F., Zakharyaschev, M.: A tableau algorithm for reasoning about concepts and similarity. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS (LNAI), vol. 2796, Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  23. Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM 48(5), 909–970 (2001)

    Article  MathSciNet  Google Scholar 

  24. Negoita, C.V., Flondor, P.: On fuzziness in information retrieval. Int. J. Man-Machine Studies 8, 711–716 (1976)

    Article  MATH  Google Scholar 

  25. Sebastiani, F.: A probabilistic terminological logic for modelling information retrieval. In: Proc. of SIGIR 1994, 17th ACM International Conference on Research and Development in Information Retrieval, Dublin, IRL, pp. 122–130. Springer, Heidelberg (1994)

    Google Scholar 

  26. Straccia, U.: A framework for the retrieval of multimedia objects based on fourvalued fuzzy description logics. In: Crestani, F., Pasi, G. (eds.) Soft Computing in Information Retrieval: Techniques and Applications, pp. 332–357. Physica Verlag (Springer Verlag), Heidelberg, Germany (2000)

    Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

  28. Straccia, U.: Uncertainty in description logics: a lattice-based approach. In: Proc. IPMU (2004)

    Google Scholar 

  29. Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998), Brighton, England (August 1998)

    Google Scholar 

  30. Yen, J.: Generalizing term subsumption languages to fuzzy logic. In: Proc. of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 472–477 (1991)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTI-CNR, Via G. Moruzzi 1, I-56124, Pisa, ITALY

    Umberto Straccia

Authors
  1. Umberto Straccia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    Jóse Júlio Alferes

  2. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Straccia, U. (2004). Transforming Fuzzy Description Logics into Classical Description Logics. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30227-8_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23242-1

  • Online ISBN: 978-3-540-30227-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation