Skip to main content
SpringerLink
Log in

Reasoning in Fuzzy OWL 2 with DeLorean

  • Conference paper
Book cover Uncertainty Reasoning for the Semantic Web II (URSW 2010, URSW 2009, URSW 2008, UniDL 2010)

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

Abstract

Classical ontologies are not suitable to represent imprecise or vague information, which has led to several extensions using non-classical logics. In particular, several fuzzy extensions have been proposed in the literature. In this paper, we present the fuzzy ontology reasoner DeLorean, the first to support a fuzzy extension of OWL 2. We discuss how to use it for fuzzy ontology representation and reasoning, and describe some implementation details and optimization techniques. An empirical evaluation demonstrates that these optimizations considerably improve the performance of the reasoner.

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. Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics 6(4), 309–322 (2008)

    Article  Google Scholar 

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

    Google Scholar 

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

  4. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in Description Logics for the Semantic Web. Journal of Web Semantics 6(4), 291–308 (2008)

    Article  Google Scholar 

  5. Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the Semantic Web. IEEE Intelligent Systems 21(5), 84–87 (2006)

    Article  Google Scholar 

  6. 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, pp. 923–930. IEEE Computer Society (2008)

    Google Scholar 

  7. Haarslev, V., Pai, H.I., Shiri, N.: A formal framework for Description Logics with uncertainty. Int. Journal of Approximate Reasoning 50(9), 1399–1415 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Habiballa, H.: Resolution strategies for fuzzy Description Logic. In: Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2007, vol. 2, pp. 27–36 (2007)

    Google Scholar 

  9. Konstantopoulos, S., Apostolikas, G.: Fuzzy-DL Reasoning over Unknown Fuzzy Degrees. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2007 Ws, Part II. LNCS, vol. 4806, pp. 1312–1318. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Pan, J.Z., Thomas, E., Sleeman, D.: ONTOSEARCH2: Searching and querying web ontologies. In: Proceeedings of the IADIS International Conference WWW/Internet 2006 (2006)

    Google Scholar 

  11. Straccia, U., Visco, G.: DL-Media: An ontology mediated multimedia information retrieval system. In: Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2008, vol. 423. CEUR Workshop Proceedings (2008)

    Google Scholar 

  12. Wang, H., Ma, Z.M., Yin, J.: FRESG: A Kind of Fuzzy Description Logic Reasoner. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2009. LNCS, vol. 5690, pp. 443–450. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  14. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer (1998)

    Google Scholar 

  15. Bobillo, F., Delgado, M., Gómez-Romero, J.: Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17(4), 501–530 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Bobillo, F., Delgado, M., Gómez-Romero, J., Straccia, U.: Fuzzy Description Logics under Gödel semantics. Int. J. of Approximate Reasoning 50(3), 494–514 (2009)

    Article  MATH  Google Scholar 

  17. Stoilos, G., Stamou, G., Pan, J.Z.: Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics. International Journal of Approximate Reasoning 51(6), 656–679 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  18. Straccia, U.: Description Logics with fuzzy concrete domains. In: Proc. of the 21st Conf. on Uncertainty in Artificial Intelligence, UAI 2005. AUAI Press (2005)

    Google Scholar 

  19. Straccia, U.: Reasoning within fuzzy Description Logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)

    MathSciNet  MATH  Google Scholar 

  20. Bechhofer, S., Möller, R., Crowther, P.: The DIG Description Logic interface: DIG/1.1. In: Proceedings of the 16th International Workshop on Description Logics, DL 2003 (2003)

    Google Scholar 

  21. Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL Ontologies. Semantic Web 2(1), 11–21 (2011)

    Google Scholar 

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

  23. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Shearer, R., Motik, B., Horrocks, I.: HermiT: A highly-efficient OWL reasoner. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions, OWLED 2008 (2008)

    Google Scholar 

  25. Liebig, T., Luther, M., Noppens, O., Wessel, M.: OWLlink. Semantic Web 2(1), 23–32 (2011)

    Google Scholar 

  26. Bobillo, F., Straccia, U.: Fuzzy ontology representation using OWL 2. International Journal of Approximate Reasoning 52(7), 1073–1094 (2011)

    Article  MathSciNet  Google Scholar 

  27. Cimiano, P., Haase, P., Ji, Q., Mailis, T., Stamou, G.B., Stoilos, G., Tran, T., Tzouvaras, V.: Reasoning with large A-Boxes in fuzzy Description Logics using DL reasoners: An experimental valuation. In: Proceedings of the 1st Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008. CEUR Workshop Proceedings, vol. 350 (2008)

    Google Scholar 

  28. Carlsson, C., Brunelli, M., Mezei, J.: Fuzzy ontologies and knowledge mobilisation: Turning amateurs into wine connoisseurs. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2010, pp. 1718–1723 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpt. of Computer Science and Systems Engineering, University of Zaragoza, Spain

    Fernando Bobillo

  2. Dpt. of Computer Science and Artificial Intelligence, University of Granada, Spain

    Miguel Delgado

  3. Applied Artificial Intelligence Group, University Carlos III, Madrid, Spain

    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. Department of Computer Science and Systems Engineering, University of Zaragoza, Ada Byron Building, Maria de Luna 1, 50018, Zaragoza, Spain

    Fernando Bobillo

  2. Department of Systems Engineering and Operations Research, George Mason University, Engineering Building, 4400 University Drive, 22030-4444, Fairfax, VA, USA

    Paulo C. G. Costa

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

    Claudia d’Amato

  4. Dipatimento di Informatica and CILA, Università degli Studi di Bari, Via Orabona 4, 70125, Bari, Italy

    Nicola Fanizzi

  5. Department of Systems Engineering and Operations Research, George Mason University, Engineering Building, 4400 University Drive, 22030-4444, Fairfax, VA, USA

    Kathryn B. Laskey

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

    Kenneth J. Laskey

  7. Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Thomas Lukasiewicz

  8. Technische Universität München, Abteilung für Informatk, Boltzmannstraße 3, 85748, Garching, Germany

    Matthias Nickles

  9. Goldman Sachs, 30 Hudson Street, 07302-4699, Jersey City, NJ, USA

    Michael Pool

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bobillo, F., Delgado, M., Gómez-Romero, J. (2013). Reasoning in Fuzzy OWL 2 with DeLorean. In: Bobillo, F., et al. Uncertainty Reasoning for the Semantic Web II. URSW URSW URSW UniDL 2010 2009 2008 2010. Lecture Notes in Computer Science(), vol 7123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35975-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35975-0_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35974-3

  • Online ISBN: 978-3-642-35975-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation