Pages that link to "Item:Q5900604"
From MaRDI portal
The following pages link to Conceptual Structures for Knowledge Creation and Communication (Q5900604):
Displayed 4 items.
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\cal EL$ w.r.t. Hybrid TBoxes (Q3532475) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)