Learning Ontologies with Epistemic Reasoning: The EL Case
From International Center for Computational Logic
Learning Ontologies with Epistemic Reasoning: The EL Case
Talk by Ana Ozaki
- Location: APB 3027
- Start: 23. January 2019 at 9:30 am
- End: 23. January 2019 at 11:00 am
- Research group: Knowledge-Based Systems
- Event series: KBS Seminar
- iCal
Abstract: 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 EL and show some complexity results for an epistemic extension of EL where epistemic operators can be applied over the axioms. Finally, we transfer known results for EL ontologies and its fragments to our learning model based on epistemic reasoning.
