text: Many AI researchers have investigated useful ways of verifying and validating knowledge bases for [[ ontologies ]] and << rules >> , but it is not easy to directly apply them to checking process models .