A Model for Learning Description Logic Ontologies Based on Exact Learning



Konev, Boris ORCID: 0000-0002-6507-0494, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X
(2016) A Model for Learning Description Logic Ontologies Based on Exact Learning. .

[img] Text
AAAIlearning.pdf - Author Accepted Manuscript

Download (879kB)

Abstract

<jats:p> 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. </jats:p>

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Neurosciences
Depositing User: Symplectic Admin
Date Deposited: 07 Jul 2016 09:51
Last Modified: 15 Mar 2024 19:11
DOI: 10.1609/aaai.v30i1.10087
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3002147