The Logical Difference Problem for Description Logic Terminologies
From MaRDI portal
Publication:3541706
DOI10.1007/978-3-540-71070-7_21zbMath1165.68502MaRDI QIDQ3541706
Frank Wolter, Dirk Walther, Boris Konev
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_21
68T27: Logic in artificial intelligence
Related Items
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Logic-based ontology comparison and module extraction, with an application to DL-Lite, Deciding inseparability and conservative extensions in the description logic, Towards a functional approach to modular ontologies using institutions, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, The Logical Difference Problem for Description Logic Terminologies, Formal Properties of Modularisation, Mathematical Logic for Life Science Ontologies
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Undefinability of propositional quantifiers in the modal system S4
- On the restricted equivalence for subclasses of propositional logic
- The Logical Difference Problem for Description Logic Terminologies
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Interpolation in Local Theory Extensions
- On an interpretation of second order quantification in first order intuitionistic propositional logic