问题描述
我正在尝试使用推理器 hermit 1.4.3 构建一个简单的本体，以检查在 protege 中如何推断类表达式。
本体如下：
有两个类 Robot 和 Head，一个对象属性 hasPart 和一个声明某物是一个实例的类表达式机器人那么它必须正好有 1 个头。
我想过滤实例化一个没有或多个头的机器人的情况。但是，当我设置 Alice 是一个机器人并且有 2 个头（head1 和 head2）时，我希望上面的类表达式会出现不一致的错误，而不是推理器似乎忽略它。任何帮助将不胜感激。
"foo.bar.baz."解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）