scientific article
From MaRDI portal
Publication:3624118
zbMath1183.68479MaRDI QIDQ3624118
No author found.
Publication date: 28 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Progression of Decomposed Local-Effect Action Theories ⋮ Knowledge base exchange: the case of OWL 2 QL ⋮ ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ OWL reasoning: subsumption test hardness and modularity ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Effective method for detecting error causes from incoherent biological ontologies ⋮ On decidability of the decomposability problem for finite theories ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Modeling ontology evolution with SetPi ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Incremental classification of description logics ontologies ⋮ Formal Properties of Modularisation ⋮ On Importing Knowledge from Ontologies. ⋮ ReAD: AD-based modular ontology classification ⋮ Mathematical Logic for Life Science Ontologies ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Deciding inseparability and conservative extensions in the description logic ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ Universal Logic as a Science of Patterns ⋮ Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL ⋮ Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ Games for query inseparability of description logic knowledge bases
Uses Software
This page was built for publication: