Pages that link to "Item:Q5900604"
From MaRDI portal
The following pages link to Conceptual Structures for Knowledge Creation and Communication (Q5900604):
Displayed 3 items.
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← 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)