The Logical Difference Problem for Description Logic Terminologies

DOI10.1007/978-3-540-71070-7_21zbMath1165.68502OpenAlexW1567108904MaRDI 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

Logic in artificial intelligence (68T27)

Related Items (8)

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 ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ The Logical Difference Problem for Description Logic Terminologies ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Formal Properties of Modularisation ⋮ Mathematical Logic for Life Science Ontologies ⋮ Deciding inseparability and conservative extensions in the description logic

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

This page was built for publication: The Logical Difference Problem for Description Logic Terminologies