Describir: Kontrola konzistencie bázy poznatkov :