Pages that link to "Item:Q2510119"
From MaRDI portal
The following pages link to (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119):
Displaying 4 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
