CEX

swMATH19453MaRDI QIDQ31280FDOQ31280

Author name not available (Why is that?)

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