A Modularity Approach for a Fragment of \mathcal{ALC}

DOI10.1007/11853886_19MaRDI QIDQ3533133zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Ivan Varzinczak

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_19

zbMATH Keywords

description logicsknowledge representationmodularity

Mathematics Subject Classification ID

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

Recommendations

• Modular reuse of ontologies: theory and practice
• Formal Properties of Modularisation
• Model-theoretic inseparability and modularity of description logic ontologies
• scientific article; zbMATH DE number 5046357
• Towards a functional approach to modular ontologies using institutions

Cited in

(16)

• Metatheory of actions: beyond consistency
• OWL reasoning: subsumption test hardness and modularity
• Towards a functional approach to modular ontologies using institutions
• Model-theoretic inseparability and modularity of description logic ontologies
• Preferential reasoning for modal logics
• Reachability modules for the description logic \(\mathcal{SRIQ}\)
• Modularity of ontologies in an arbitrary institution
• Privacy preserving modules for ontologies
• Modular reuse of ontologies: theory and practice
• On Importing Knowledge from Ontologies.
• Extracting Modules from Ontologies: A Logic-Based Approach
• Structure-Based Partitioning of Large Ontologies
• Composing Modular Ontologies with Distributed Description Logics
• Package-Based Description Logics
• Modular structures and atomic decomposition in ontologies
• Lower and upper approximations for depleting modules of description logic ontologies

This page was built for publication: A Modularity Approach for a Fragment of $\mathcal{ALC}$

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