A Model for Learning Description Logic Ontologies Based on Exact Learning

Authors

  • Boris Konev University of Liverpool
  • Ana Ozaki University of Liverpool
  • Frank Wolter University of Liverpool

DOI:

https://doi.org/10.1609/aaai.v30i1.10087

Keywords:

Description Logic, Exact Learning, Complexity

Abstract

We investigate the problem of learning description logic (DL) ontologies in Angluin et al.’s framework of exact learning via queries posed to an oracle. We consider membership queries of the form “is a tuple a of individuals a certain answer to a data retrieval query q in a given ABox and the unknown target ontology?” and completeness queries of the form “does a hypothesis ontology entail the unknown target ontology?” Given a DL L and a data retrieval query language Q, we study polynomial learnability of ontologies in L using data retrieval queries in Q and provide an almost complete classification for DLs that are fragments of EL with role inclusions and of DL-Lite and for data retrieval queries that range from atomic queries and EL/ELI-instance queries to conjunctive queries. Some results are proved by non-trivial reductions to learning from subsumption examples.

Downloads

Published

2016-02-21

How to Cite

Konev, B., Ozaki, A., & Wolter, F. (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 30(1). https://doi.org/10.1609/aaai.v30i1.10087

Issue

Section

Technical Papers: Knowledge Representation and Reasoning