Publication:3624118
From MaRDI portal
zbMath1183.68479MaRDI QIDQ3624118
No author found.
Publication date: 28 April 2009
68T05: Learning and adaptive systems in artificial intelligence
Related Items
Universal Logic as a Science of Patterns, DL-Lite Ontology Revision Based on An Alternative Semantic Characterization, Progression of Decomposed Local-Effect Action Theories, Games for query inseparability of description logic knowledge bases, Knowledge base exchange: the case of OWL 2 QL, Modeling ontology evolution with SetPi, Logic-based ontology comparison and module extraction, with an application to DL-Lite, On decidability of the decomposability problem for finite theories, Incremental classification of description logics ontologies, 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, 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, The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies, Reasoning within intuitionistic fuzzy rough description logics, Effective method for detecting error causes from incoherent biological ontologies, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Ontology-Mediated Query Answering with Data-Tractable Description Logics, ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS, Formal Properties of Modularisation, On Importing Knowledge from Ontologies., Mathematical Logic for Life Science Ontologies
Uses Software
