检查是否已存在具有相同对象属性值的父类的另一个人

Question

我目前正在创建＆＃34;监狱＆＃34; Protege中的本体论。主要问题是： 我怎样（以一种干净的方式）描述累犯（同一种犯罪的判决，由同一个犯人提出）？

我希望推理者搜索此类型是否有任何过去的判决，并说明此判决是累犯类型。

这是一个小截图（用我的母语）：