Skip to main content
SpringerLink
Log in

A Crisp Representation for Fuzzy \(\cal SHOIN\) with Fuzzy Nominals and General Concept Inclusions

  • Conference paper
Uncertainty Reasoning for the Semantic Web I (URSW 2006, URSW 2007, URSW 2005)

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

Abstract

Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by imprecision and vagueness. They were born to overcome the limitations of classical Description Logics when dealing with such kind of knowledge, but they bring out some new challenges, requiring an appropriate fuzzy language to be agreed and needing practical and highly optimized implementations of the reasoning algorithms. In the current paper we face these problems by presenting a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the Description Logic \(\cal SHOIN\), which makes possible to reuse a crisp representation language as well as currently available reasoners, which have demonstrated a very good performance in practice. As additional contributions, we define the syntax and semantics of a novel fuzzy version of the nominal construct and allow to reason within fuzzy general concept inclusions.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5(2), 199–220 (1993)

    Article  Google Scholar 

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

    Article  Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  4. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228–248. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  6. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. Journal of Web Semantics (to appear)

    Google Scholar 

  7. W3C: OWL Web Ontology Language Overview (2004), http://www.w3.org/TR/owl-features

  8. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1(4), 345–357 (2004)

    Article  Google Scholar 

  9. 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, OWLED 2005 (2005)

    Google Scholar 

  10. Sirin, E., Cuenca-Grau, B., Parsia, B.: From wine to water: Optimizing description logic reasoning for nominals. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 90–99 (2006)

    Google Scholar 

  11. Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: Proceedings of the 17th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2008 (to appear, 2008)

    Google Scholar 

  13. Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 385–399. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1–16 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kang, D., Lu, J., Xu, B., Li, Y., He, Y.: Two reasoning methods for extended fuzzy \(\mathcal{ALCH}\). In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3761, pp. 1588–1595. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Li, Y., Xu, B., Lu, J., Kang, D.: Reasoning technique for extended fuzzy \(\mathcal{ALCQ}\). In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Laganá, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol. 3981, pp. 1179–1188. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51–53 (2007)

    Article  Google Scholar 

  18. Straccia, U.: A Fuzzy Description Logic for the Semantic Web. In: Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 73–90. Elsevier, Amsterdam (2006)

    Chapter  Google Scholar 

  19. Schaerf, A.: Reasoning with individuals in concept languages. Data & Knowledge Engineering 13(2), 141–176 (1994)

    Article  Google Scholar 

  20. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (2001)

    MATH  Google Scholar 

  21. Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)

    MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  23. Straccia, U.: A fuzzy description logic. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pp. 594–599 (1998)

    Google Scholar 

  24. Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence 43(2), 235–249 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  25. Pan, J.Z., Horrocks, I.: OWL-Eu: Adding customised datatypes into OWL. Journal of Web Semantics 4, 29–39 (2006)

    Article  Google Scholar 

  26. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 452–457 (2006)

    Google Scholar 

  27. W3C: OWL 1.1 Web Ontology Language Overview (2006), http://www.w3.org/Submission/owl11-overview/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Artificial Intelligence, University of Granada, C. Periodista Daniel Saucedo Aranda, 18071, Granada, Spain

    Fernando Bobillo, Miguel Delgado & Juan Gómez-Romero

Authors
  1. Fernando Bobillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel Delgado
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Juan Gómez-Romero
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. George Mason University, 4400 University Drive, Fairfax, 22030, Virginia, USA

    Paulo Cesar G. da Costa

  2. Dipartimento di Informatica,, Università degli Studi di Bari, Via Orabona, 4, 70125, Bari, Italy

    Claudia d’Amato

  3. Dipartimento di Informatica, Università degli Studi di Bari, Via Orabona, 4, 70125, Bari, Italy

    Nicola Fanizzi

  4. George Mason University, VA 22030, Fairfax, USA

    Kathryn B. Laskey

  5. MIRTE Corporation, M/S H305, 7515 Colshire Drive, VA 22102-7508, McLean, USA

    Kenneth J. Laskey

  6. Computing Laboratory, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD, UK

    Thomas Lukasiewicz

  7. University of Bath, BA2 7AY, Bath, UK

    Matthias Nickles

  8. Convera, Inc., 1921 Gallows Road, Suite 200, VA 22182, Vienna, USA

    Michael Pool

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bobillo, F., Delgado, M., Gómez-Romero, J. (2008). A Crisp Representation for Fuzzy \(\cal SHOIN\) with Fuzzy Nominals and General Concept Inclusions. In: da Costa, P.C.G., et al. Uncertainty Reasoning for the Semantic Web I. URSW URSW URSW 2006 2007 2005. Lecture Notes in Computer Science(), vol 5327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89765-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89765-1_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89764-4

  • Online ISBN: 978-3-540-89765-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation