Pages that link to "Item:Q2938488"
From MaRDI portal
The following pages link to Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$ (Q2938488):
Displaying 6 items.
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method (Q3761666) (← links)
- Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies (Q6630183) (← links)