Pages that link to "Item:Q1632047"
From MaRDI portal
The following pages link to A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047):
Displaying 8 items.
- Logic prizes \textit{et cætera} (Q1632046) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- On rational entailment for propositional typicality logic (Q2289021) (← links)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
- Defeasible inheritance-based description logics (Q2865009) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Concept combination in weighted DL (Q6545552) (← links)
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models (Q6545562) (← links)