swMATH13210MaRDI QIDQ25126FDOQ25126
Author name not available (Why is that?)
Official website: http://www.cs.ox.ac.uk/isg/tools/ContentCVS/
Cited In (9)
- Games for query inseparability of description logic knowledge bases
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Modeling ontology evolution via pi-calculus
- Inseparability and conservative extensions of description logic ontologies: a survey
- PAGOdA
- CEX
- Ontop
- MASTRO
- Modeling ontology evolution with SetPi
This page was built for software: ContentCVS
