Modular reuse of ontologies: theory and practice
From MaRDI portal
Recommendations
Cited in
(45)- Deciding inseparability and conservative extensions in the description logic
- OWL reasoning: subsumption test hardness and modularity
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Towards a functional approach to modular ontologies using institutions
- ReAD: AD-based modular ontology classification
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Model-theoretic inseparability and modularity of description logic ontologies
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Reasoning within intuitionistic fuzzy rough description logics
- Games for query inseparability of description logic knowledge bases
- Effective method for detecting error causes from incoherent biological ontologies
- Module extraction in expressive ontology languages via Datalog reasoning
- Inseparability and conservative extensions of description logic ontologies: a survey
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Guidelines for reusing ontologies on the semantic web
- Knowledge base exchange: the case of OWL 2 QL
- Reasoning over ontologies with hidden content: the import-by-query approach
- Privacy preserving modules for ontologies
- Eliminating concepts and roles from ontologies in expressive descriptive logics
- A Modularity Approach for a Fragment of $\mathcal{ALC}$
- scientific article; zbMATH DE number 5719279 (Why is no real title available?)
- A framework for modular ERDF ontologies
- Formal Properties of Modularisation
- On Importing Knowledge from Ontologies.
- Extracting Modules from Ontologies: A Logic-Based Approach
- Ontology Integration Using ε-Connections
- Composing Modular Ontologies with Distributed Description Logics
- Package-Based Description Logics
- Mathematical Logic for Life Science Ontologies
- Modeling ontology evolution with SetPi
- Modular structures and atomic decomposition in ontologies
- Universal logic as a science of patterns
- DL-Lite ontology revision based on an alternative semantic characterization
- Progression of decomposed local-effect action theories
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- On decidability of the decomposability problem for finite theories
- Classical algorithms for reasoning and explanation in description logics
- Reasoning with ontologies
- Deciding the existence of interpolants and definitions in first-order modal logic
- Effective and fast module extraction for nonempty ABoxes
- Incremental classification of description logics ontologies
This page was built for publication: Modular reuse of ontologies: theory and practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624118)
