Model-theoretic inseparability and modularity of description logic ontologies
From MaRDI portal
Publication:2351041
DOI10.1016/j.artint.2013.07.004zbMath1329.68248MaRDI 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
68Q25: Analysis of algorithms and problem complexity
68T27: Logic in artificial intelligence
92C50: Medical applications (general)
68T30: Knowledge representation
03C98: Applications of model theory
Related Items
When you must forget: Beyond strong persistence when forgetting in answer set programming, Decidability of Circumscribed Description Logics Revisited, Progression of Decomposed Local-Effect Action Theories, 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, On the limits of forgetting in answer set programming, Branching time agents logics, satisfiability problem by rules in reduced form, Forgetting in ASP: The Forgotten Properties, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Uses Software