Model-theoretic inseparability and modularity of description logic ontologies

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

zbMATH Keywords

computational complexityreasoningdescription logicmodularisation

Mathematics Subject Classification ID

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

• FaCT++
• HermiT

This page was built for publication: Model-theoretic inseparability and modularity of description logic ontologies