The following pages link to ContentCVS (Q25126):
Displayed 5 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Modeling ontology evolution with SetPi (Q497901) (← links)
- Modeling ontology evolution via pi-calculus (Q1991883) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)