Pages that link to "Item:Q3192210"
From MaRDI portal
The following pages link to Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies (Q3192210):
Displaying 6 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- ReAD: AD-based modular ontology classification (Q2055795) (← links)
- FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (Q2305440) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
