Pages that link to "Item:Q2970301"
From MaRDI portal
The following pages link to Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301):
Displaying 7 items.
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Conservative Extensions in Horn Description Logics with Inverse Roles (Q5114785) (← links)
- (Q5232905) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)