ContentCVS
From MaRDI portal
Cited in
(9)- Modeling ontology evolution via pi-calculus
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Games for query inseparability of description logic knowledge bases
- PAGOdA
- Inseparability and conservative extensions of description logic ontologies: a survey
- CEX
- Ontop
- Modeling ontology evolution with SetPi
- MASTRO
This page was built for software: ContentCVS
