Pages that link to "Item:Q2970301"

The following pages link to Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301):

Displaying 4 items.

• Semantic forgetting in expressive description logics (Q831928) (← links)
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
• (Q5232905) (← links)