Error-tolerant reasoning in the description logic EL
From MaRDI portal
Publication:2938488
Recommendations
- Towards an error-tolerant construction of \(\mathcal{EL}^\bot\)-ontologies from data using formal concept analysis
- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
- Reasoning with uncertain and inconsistent OWL ontologies
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Inconsistency-tolerant reasoning with OWL DL
Cited in
(12)- Evaluation of Ontologies and DL Reasoners
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- Incremental classification of description logics ontologies
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- Towards an error-tolerant construction of \(\mathcal{EL}^\bot\)-ontologies from data using formal concept analysis
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
This page was built for publication: Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938488)
