Skip to main content
SpringerLink
Log in

A FOIL-Like Method for Learning under Incompleteness and Vagueness

  • Conference paper
  • First Online:
Inductive Logic Programming (ILP 2013)

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

Included in the following conference series:

Abstract

Incompleteness and vagueness are inherent properties of knowledge in several real world domains and are particularly pervading in those domains where entities could be better described in natural language. In order to deal with incomplete and vague structured knowledge, several fuzzy extensions of Description Logics (DLs) have been proposed in the literature. In this paper, we present a novel Foil-like method for inducing fuzzy DL inclusion axioms from crisp DL knowledge bases and discuss the results obtained on a real-world case study in the tourism application domain also in comparison with related works.

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 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.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

Notes

  1. 1.

    http://www.w3.org/TR/2009/REC-owl2-overview-20091027/

  2. 2.

    Note that \(0.18 = 0.318 \cdot 0.569\), where \(0.318 = tri(90,112,136)(105)\).

  3. 3.

    \(\mathcal {EL}({\mathbf {D}})\) is a fragment of \(\mathcal {ALC}({\mathbf {D}})\) [26].

  4. 4.

    \(\mathcal {DL}\) stands for any DL.

  5. 5.

    http://straccia.info/software/FuzzyOWL

  6. 6.

    http://straccia.info/software/FuzzyDL-Learner/

  7. 7.

    http://clarkparsia.com/pellet/

  8. 8.

    http://straccia.info/software/FuzzyDL-Learner/download/FOIL-DL/examples/Hotel/Hotel.owl/

  9. 9.

    http://www.tripadvisor.com/

  10. 10.

    http://maps.google.com/

  11. 11.

    One such comparison could not be made with DL-Foil since the implemented algorithm was not made available by the authors.

  12. 12.

    http://www.w3.org/TR/owl2-manchester-syntax/

References

  1. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)

    MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  3. Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp. 452–457. Morgan Kaufmann (1991)

    Google Scholar 

  4. Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: IEEE International Conference on Fuzzy Systems, pp. 923–930. IEEE (2008)

    Google Scholar 

  5. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1–2), 353–367 (1996)

    Article  MathSciNet  Google Scholar 

  6. Cerami, M., Straccia, U.: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm. Inf. Sci. 227, 1–21 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  7. Drobics, M., Bodenhofer, U., Klement, E.P.: FS-FOIL: an inductive learning method for extracting interpretable fuzzy descriptions. Int. J. Approximate Reasoning 32(2–3), 131–152 (2003)

    Article  MATH  Google Scholar 

  8. Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: a clarification. Ann. Math. Artif. Intell. 32(1–4), 35–66 (2001)

    Article  MathSciNet  Google Scholar 

  9. Fanizzi, N., d’Amato, C., Esposito, F.: DL-FOIL concept learning in description logics. In: Železný, F., Lavrač, N. (eds.) ILP 2008. LNCS (LNAI), vol. 5194, pp. 107–121. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

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

    Book  MATH  Google Scholar 

  11. Iglesias, J., Lehmann, J.: Towards integrating fuzzy logic capabilities into an ontology-based inductive logic programming framework. In: Proceedings of the 11th International Conference on Intelligent Systems Design and Applications. IEEE Press (2011)

    Google Scholar 

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

    MATH  Google Scholar 

  13. Konstantopoulos, S., Charalambidis, A.: Formulating description logic learning as an inductive logic programming task. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems, pp. 1–7. IEEE Press (2010)

    Google Scholar 

  14. Lehmann, J.: DL-Learner: learning concepts in description logics. J. Mach. Learn. Res. 10, 2639–2642 (2009)

    MathSciNet  MATH  Google Scholar 

  15. Lehmann, J., Auer, S., Bühmann, L., Tramp, S.: Class expression learning for ontology engineering. J. Web Seman. 9(1), 71–81 (2011)

    Article  Google Scholar 

  16. Lehmann, J., Haase, C.: Ideal Downward Refinement in the \({\mathcal{EL}}\) Description Logic. In: De Raedt, L. (ed.) ILP 2009. LNCS, vol. 5989, pp. 73–87. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Lisi, F.A., Straccia, U.: A logic-based computational method for the automated induction of fuzzy ontology axioms. Fundamenta Informaticae 124(4), 503–519 (2013)

    MathSciNet  MATH  Google Scholar 

  18. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Veloso, M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 477–482 (2007)

    Google Scholar 

  19. Quinlan, J.R.: Learning logical definitions from relations. Mach. Learn. 5, 239–266 (1990)

    Google Scholar 

  20. Reiter, R.: Equality and domain closure in first order databases. J. ACM 27, 235–249 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  21. Schmidt-Schauss, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  22. Serrurier, M., Prade, H.: Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules. Soft. Comput. 11(5), 459–466 (2007)

    Article  MATH  Google Scholar 

  23. Shibata, D., Inuzuka, N., Kato, S., Matsui, T., Itoh, H.: An induction algorithm based on fuzzy logic programming. In: Zhong, N., Zhou, L. (eds.) PAKDD 1999. LNCS (LNAI), vol. 1574, pp. 268–274. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  24. Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137–166 (2001)

    MathSciNet  MATH  Google Scholar 

  25. Straccia, U.: Description logics with fuzzy concrete domains. In: Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, pp. 559–567. AUAI Press (2005)

    Google Scholar 

  26. Straccia, U.: Foundations of Fuzzy Logic and Semantic Web Languages. CRC Studies in Informatics Series. Chapman & Hall, London (2013)

    Google Scholar 

  27. Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Bari “Aldo Moro”, Bari, Italy

    Francesca A. Lisi

  2. ISTI - CNR, Pisa, Italy

    Umberto Straccia

Authors
  1. Francesca A. Lisi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Umberto Straccia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesca A. Lisi .

Editor information

Editors and Affiliations

  1. University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil

    Gerson Zaverucha

  2. University of Porto, Porto, Portugal

    Vítor Santos Costa

  3. Fluminense Federal University, Niterói, Rio de Janeiro, Brazil

    Aline Paes

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lisi, F.A., Straccia, U. (2014). A FOIL-Like Method for Learning under Incompleteness and Vagueness. In: Zaverucha, G., Santos Costa, V., Paes, A. (eds) Inductive Logic Programming. ILP 2013. Lecture Notes in Computer Science(), vol 8812. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44923-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44923-3_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44922-6

  • Online ISBN: 978-3-662-44923-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation