Pages that link to "Item:Q3532475"
From MaRDI portal
The following pages link to A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\cal EL$ w.r.t. Hybrid TBoxes (Q3532475):
Displayed 1 item.