The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems will increase in the future when more critical systems are developed in areas such as industry, science,…