← Search

Francesco Kriegel

1 accepted papers

2024

Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis

AAAI 2024technical

We present an FCA-based axiomatization method that produces a complete OWL 2 EL TBox (the terminological part of an OWL 2 EL ontology) from a graph dataset in at most exponential time. We describe technical details that allow for efficient implementation as well as variations that dispense with the…