Logical Difference Computation with CEX2.5
From MaRDI portal
Publication:2908508
DOI10.1007/978-3-642-31365-3_29zbMath1358.68258OpenAlexW23284373MaRDI QIDQ2908508
Frank Wolter, Boris Konev, Michel Ludwig
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies
Uses Software
This page was built for publication: Logical Difference Computation with CEX2.5
