Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$

DOI10.1007/978-3-319-11558-0_8zbMath1432.68448OpenAlexW2256449320MaRDI QIDQ2938488

Michel 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

Mathematics Subject Classification ID

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

Related Items (2)

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Understanding the complexity of axiom pinpointing in lightweight description logics

This page was built for publication: Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$