CEX

swMATH19453MaRDI QIDQ31280FDOQ31280

Author name not available (Why is that?)

Cited In (3)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• Logical Difference Computation with CEX2.5
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

This page was built for software: CEX