ContentCVS
From MaRDI portal
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
