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

Description

We present an FCA-based axiomatization method that produces a complete 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. / This is an extended version of an article accepted at AAAI 2024.

Links & Downloads

1. urn:nbn:de:bsz:14-qucosa2-885706
2. https://tud.qucosa.de/id/qucosa%3A88570
3. https://tud.qucosa.de/api/qucosa%3A88570/attachment/ATT-0/

Tags

info:eu-repo/classification/ddc/004

ddc:004

Additional Fields

Identifer	oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:88570
Date	28 December 2023
Creators	Kriegel, Francesco
Contributors	Technische Universität Dresden
Source Sets	Hochschulschriftenserver (HSSS) der SLUB Dresden
Language	English
Detected Language	English
Type	info:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text
Rights	info:eu-repo/semantics/openAccess
Relation	urn:nbn:de:bsz:14-qucosa2-785040, qucosa:78504