ContentCVS

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