Effective and fast module extraction for nonempty ABoxes

DOI10.1016/J.ARTINT.2025.104345MaRDI QIDQ6976997zbMATH OpenFDO

Authors P. A. Bonatti, Francesco Magliocca, Iliana Mineva Petrova, L. Sauro

Publication date 30 May 2025

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2025.104345

zbMATH Keywords

description logicsmodule extraction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• Deciding inseparability and conservative extensions in the description logic
• Incremental classification of description logics ontologies
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Model-theoretic inseparability and modularity of description logic ontologies
• Modular reuse of ontologies: theory and practice
• Modular structures and atomic decomposition in ontologies
• Module extraction in expressive ontology languages via Datalog reasoning

This page was built for publication: Effective and fast module extraction for nonempty ABoxes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976997)