2024 AAAI AAAI 2024

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

Abstract

Abstract 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 computation of extremely large axioms, thereby rendering the approach applicable albeit some completeness is lost. Moreover, we evaluate the prototype on real-world datasets.

🌉 Interdisciplinary Bridge — Knowledge & Reasoning and Mathematics & Optimization
🧭 Keyword Pioneer — owl 2 el ontology
🐝 Cross-Pollinator — Artificial Intelligence, Computer Science, Computer Vision, Data Science & Analytics, Deep Learning, Healthcare & Medicine, Interdisciplinary, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning