Model-theoretic inseparability and modularity of description logic ontologies
From MaRDI portal
Publication:2351041
DOI10.1016/j.artint.2013.07.004zbMath1329.68248OpenAlexW2144831006MaRDI QIDQ2351041
Dirk Walther, Frank Wolter, Carsten Lutz, Boris Konev
Publication date: 26 June 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.07.004
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Medical applications (general) (92C50) Knowledge representation (68T30) Applications of model theory (03C98)
Related Items (13)
Progression of Decomposed Local-Effect Action Theories ⋮ Towards knowledge exchange: state-of-the-art and open problems ⋮ Semantic forgetting in expressive description logics ⋮ Knowledge base exchange: the case of OWL 2 QL ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ On the limits of forgetting in answer set programming ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ On syntactic forgetting under uniform equivalence ⋮ Forgetting in ASP: The Forgotten Properties ⋮ Branching time agents logics, satisfiability problem by rules in reduced form
Uses Software
This page was built for publication: Model-theoretic inseparability and modularity of description logic ontologies
