CEX

MaRDI QIDQ31280swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-31365-3_29

Cited in

(7)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• Logical Difference Computation with CEX2.5
• Inseparability and conservative extensions of description logic ontologies: a survey
• ContentCVS
• PAGOdA
• Ontop
• MASTRO

This page was built for software: CEX