A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
We investigate the complexity of learning description logic ontologies in Angluin et al.'s framework of exact learning via queries posed to an oracle. We consider membership queries of the form "is individual a a certain answer to a data retrieval query q in a given ABox and the unkown target TBox?" and equivalence queries of the form "is a given TBox equivalent to the unknown target TBox?". We show that (i) DL-Lite TBoxes with role inclusions and ELI concept expressions on the right-hand sidedblp:conf/dlog/KonevOW15 fatcat:bdc2ne574vb27amkrt2p2glguy