Logical Difference Computation with CEX2.5

DOI10.1007/978-3-642-31365-3_29MaRDI QIDQ2908508zbMATH OpenOpenAlexFDO

Authors B. Konev, M. Ludwig, F. Wolter

Publication date 5 September 2012

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31365-3_29

zbMATH Keywords

description logicslogical differenceontology versioning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Speeding up the constraint-based method in difference logic
• Differential methods in logic program analysis
• Publication:4940934
• scientific article; zbMATH DE number 3693166
• scientific article; zbMATH DE number 1292288
• Differential Refinement Logic
• scientific article; zbMATH DE number 1956566
• A two-level logic approach to reasoning about computations

Cited in

(4)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• The logical difference for the lightweight description logic \(\mathcal {EL}\)
• The Logical Difference Problem for Description Logic Terminologies
• Inseparability and conservative extensions of description logic ontologies: a survey

Describes a project that uses

Uses Software

• CEX

This page was built for publication: Logical Difference Computation with CEX2.5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908508)