CEX
From MaRDI portal
Software:31280
No author found.
Related Items (3)
Logical Difference Computation with CEX2.5 ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies
This page was built for software: CEX
