Pages that link to "Item:Q2401927"
From MaRDI portal
The following pages link to Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\) (Q2401927):
Displayed 5 items.
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)