Advertisement

Learning Ontologies with Epistemic Reasoning: The \(\mathcal{E\!L}\) Case

  • Ana OzakiEmail author
  • Nicolas Troquard
Conference paper
  • 369 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11468)

Abstract

We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistemic membership and example queries and show that polynomial learnability in this model coincides with polynomial learnability in Angluin’s exact learning model with membership and equivalence queries. We then instantiate our learning framework to \(\mathcal{E\!L}\) and show some complexity results for an epistemic extension of \(\mathcal{E\!L}\) where epistemic operators can be applied over the axioms. Finally, we transfer known results for \(\mathcal{E\!L}\) ontologies and its fragments to our learning model based on epistemic reasoning.

Keywords

Exact learning Epistemic logic Description logic 

References

  1. 1.
    Angluin, D.: Queries and concept learning. Mach. Learn. 2(4), 319–342 (1988)MathSciNetGoogle Scholar
  2. 2.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 364–369. Professional Book Center (2005)Google Scholar
  3. 3.
    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)zbMATHGoogle Scholar
  4. 4.
    Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Logic 13(3), 21:1–21:32 (2012)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Blum, A.L.: Separating distribution-free and mistake-bound learning models over the Boolean domain. SIAM J. Comput. 23(5), 900–1000 (1994)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Borgwardt, S., Thost, V.: Temporal query answering in the description logic EL. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI, pp. 2819–2825 (2015)Google Scholar
  7. 7.
    Bshouty, N.H., Jackson, J.C., Tamon, C.: Exploring learnability between exact and PAC. J. Comput. Syst. Sci. 70(4), 471–484 (2005)MathSciNetCrossRefGoogle Scholar
  8. 8.
    De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: Moving a robot: the KR&R approach at work. In: Aiello, L.C., Doyle, J., Shapiro, S.C. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 198–209. Morgan Kaufmann (1996)Google Scholar
  9. 9.
    Duarte, M.R.C., Konev, B., Ozaki, A.: Exact learning of EL ontologies. In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) (2018)Google Scholar
  10. 10.
    Duarte, M.R.C., Konev, B., Ozaki, A.: Exactlearner: a tool for exact learning of EL ontologies. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR, pp. 409–414 (2018)Google Scholar
  11. 11.
    Frazier, M., Pitt, L.: Learning from entailment: an application to propositional Horn sentences. In: International Conference on Machine Learning, ICML, pp. 120–127 (1993)CrossRefGoogle Scholar
  12. 12.
    Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319–379 (1992).  https://doi.org/10.1016/0004-3702(92)90049-4MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Routledge, London and New York (1996)CrossRefGoogle Scholar
  14. 14.
    Konev, B., Lutz, C., Ozaki, A., Wolter, F.: Exact learning of lightweight description logic ontologies. J. Mach. Learn. Res. 18(201), 1–63 (2018)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Konev, B., Ozaki, A., Wolter, F.: A model for learning description logic ontologies based on exact learning. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp. 1008–1015 (2016)Google Scholar
  16. 16.
    Mohri, M., Rostamizadeh, A., Talwalkar, A.: Foundations of Machine Learning. The MIT Press, Cambridge (2012)zbMATHGoogle Scholar
  17. 17.
    Ozaki, A., Troquard, N.: Learning ontologies with epistemic reasoning: the EL case. CoRR (2019). https://arxiv.org/abs/1902.03273
  18. 18.
    Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134–1142 (1984)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.KRDB Research CentreFree University of Bozen-BolzanoBolzanoItaly

Personalised recommendations