Detection of potential inconsistencies in knowledge bases

DOI10.1002/int.4550070202zbMath0800.68913OpenAlexW2032860356MaRDI QIDQ4009411

Heri Nonfjall, Henrik Legind Larsen

Publication date: 27 September 1992

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.4550070202

zbMATH Keywords

knowledge basesrule basesCOVADISpotential inconsistencies

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (3)

Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ A synthesis of fuzzy rule-based system verification ⋮ Query answering DL-lite knowledge bases from hidden datasets

This page was built for publication: Detection of potential inconsistencies in knowledge bases