PAC learning of concept inclusions for ontology-mediated query answering

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Abstract

We present a probably approximately correct algorithm for learning the terminological part of a description-logic knowledge base via subsumption queries. The axioms we learn are concept inclusions between conjunctions of concepts from a specified set of concept descriptions. By varying the distribution of queries posed to the oracle, we adapt the algorithm to improve the recall when using the resulting TBox for ontology-mediated query answering. Experimental evaluation on OWL 2 EL ontologies suggests that our approach helps significantly improve recall while maintaining a high precision of query answering.

Details

Original languageEnglish
Article number109523
JournalInternational journal of approximate reasoning
Volume186
Publication statusPublished - Nov 2025
Peer-reviewedYes

Keywords

Keywords

  • Active learning, Description logics, Knowledge acquisition, Ontologies, PAC learning