Error-tolerant reasoning in the description logic EL

DOI10.1007/978-3-319-11558-0_8zbMATH Open1432.68448OpenAlexW2256449320MaRDI QIDQ2938488FDOQ2938488

Authors: M. Ludwig, Rafael Peñaloza 

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_8

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (12)

• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Revision of ontologies to accommodate exceptions: a typicality-based approach
• Incremental classification of description logics ontologies
• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
• 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
• Evaluation of Ontologies and DL Reasoners
• Understanding the complexity of axiom pinpointing in lightweight description logics
• Towards an error-tolerant construction of \(\mathcal{EL}^\bot\)-ontologies from data using formal concept analysis
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• 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)