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

Building and maintaining ontologies is a laborious task, especially for large domains, where knowledge engineers and domain experts work together to transfer their knowledge into an explicit representation. In Description Logic, the ABox of an ontology is usually filled with observed symbolic data but constructing the TBox is a more complex endeavor. Assistance by automated or interactive methods is often valuable. To this end, we reconsider the Formal-Concept-Analysis-based approach to completely axiomatizing ℰℒ ⊥ concept inclusions 𝐶 ⊑ 𝐷 from graph data [3, 4] and 1 This is an extended abstract of an article [1] published in the proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24) and of its extended version [2] .