Modular structures and atomic decomposition in ontologies

DOI10.1613/JAIR.1.12151MaRDI QIDQ5139598zbMATH OpenOpenAlexFDO

Authors

Publication date 9 December 2020

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.1.12151

zbMATH Keywords

automated reasoningdescription logicsknowledge representation

Mathematics Subject Classification ID

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

Recommendations

• Formal Properties of Modularisation
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Extracting Modules from Ontologies: A Logic-Based Approach
• Structure-Based Partitioning of Large Ontologies
• Modular reuse of ontologies: theory and practice

Cited in

(4)

• ReAD: AD-based modular ontology classification
• Extracting Modules from Ontologies: A Logic-Based Approach
• Structure-Based Partitioning of Large Ontologies
• Effective and fast module extraction for nonempty ABoxes

This page was built for publication: Modular structures and atomic decomposition in ontologies

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