The Logical Difference Problem for Description Logic Terminologies

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

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

Related Items

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

• CEL

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