Exact Learning of Lightweight Description Logic Ontologies

Boris Konev, Carsten Lutz, Ana Ozaki +1

We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries. We admit membership queries ("is a given subsumption…