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 CharacterizationProgression of Decomposed Local-Effect Action TheoriesKnowledge base exchange: the case of OWL 2 QLELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICSReasoning within intuitionistic fuzzy rough description logicsOWL reasoning: subsumption test hardness and modularityCarnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology designLogic-based ontology comparison and module extraction, with an application to DL-LiteEffective method for detecting error causes from incoherent biological ontologiesOn decidability of the decomposability problem for finite theoriesInseparability and Conservative Extensions of Description Logic Ontologies: A SurveyOntology-Mediated Query Answering with Data-Tractable Description LogicsModeling ontology evolution with SetPiPay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)Incremental classification of description logics ontologiesFormal Properties of ModularisationOn Importing Knowledge from Ontologies.ReAD: AD-based modular ontology classificationMathematical Logic for Life Science OntologiesQuery inseparability for \(\mathcal{ALC}\) ontologiesDeciding inseparability and conservative extensions in the description logicOptimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)Universal Logic as a Science of PatternsConnection-minimal abduction in \(\mathcal{EL}\) via translation to FOLHypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justificationsThe incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologiesGames for query inseparability of description logic knowledge bases


Uses Software



This page was built for publication: