The following pages link to (Q3624118):
Displaying 29 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Modeling ontology evolution with SetPi (Q497901) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- ReAD: AD-based modular ontology classification (Q2055795) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- On Importing Knowledge from Ontologies. (Q3631355) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- Reasoning with ontologies (Q6602220) (← links)
