Reasoning with inconsistencies in hybrid MKNF knowledge bases

DOI10.1093/jigpal/jzs043zbMath1264.68161OpenAlexW2120214482MaRDI QIDQ4925173

Shasha Huang, Pascal Hitzler, Qing-Guo Li

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1159&context=cse

zbMATH Keywords

knowledge representationnon-monotonic reasoningdata complexityparaconsistent reasoningdescription logics and rules

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (4)

Data repair of inconsistent nonmonotonic description logic programs ⋮ Modular Paracoherent Answer Sets ⋮ A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite ⋮ Semi-equilibrium models for paracoherent answer set programs

This page was built for publication: Reasoning with inconsistencies in hybrid MKNF knowledge bases