Learning Ontologies with Epistemic Reasoning: The εL Case

摘要

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 εL and show some complexity results for an epistemic extension of εL where epistemic operators can be applied over the axioms. Finally, we transfer known results for εL ontologies and its fragments to our learning model based on epistemic reasoning.