Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Version)

Publikation: Vorabdruck/Dokumentation/BerichtArbeitspapier

Abstract

We present an FCA-based axiomatization method that produces a complete 𝓔𝓛 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.

Details

OriginalspracheEnglisch
ErscheinungsortDresden, Germany
PublikationsstatusVeröffentlicht - 2023

Publikationsreihe

ReiheLTCS-Report
Band23-01
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

ORCID /0000-0003-0219-0330/work/155291637
unpaywall 10.25368/2023.214