Computing Repairs of Inconsistent DL-Programs over EL Ontologies

DOI10.1613/JAIR.5047zbMath1371.68267OpenAlexW2501739643MaRDI QIDQ2818230

Michael Fink, Daria Stepanova, Thomas Eiter

Publication date: 7 September 2016

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5047

Mathematics Subject Classification ID

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

This page was built for publication: Computing Repairs of Inconsistent DL-Programs over EL Ontologies