从关系数据库（CC4OL-RDB）学习本体的一致性检查 这是一个基于图的中间模型，代表RDB的语义和所学本体的规范。 基于图的中间模型由SMV程序编码。 通过CTL公式确定学到的本体的规范。 这种模式可能是RAN 通过模型chcker核实了解到ontolgies是否由excuting以下命令满足RDB模型： read_model -i Mini_University.smv flatten_hierarchy encode_variables build_model check_