Pages that link to "Item:Q3643136"
From MaRDI portal
The following pages link to Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results (Q3643136):
Displayed 3 items.
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)