如何解决对象属性断言的 Protege 推断
我正在尝试使用推理器 hermit 1.4.3 构建一个简单的本体,以检查在 protege 中如何推断类表达式。
本体如下:
有两个类 Robot 和 Head,一个对象属性 hasPart 和一个声明某物是一个实例的类表达式机器人那么它必须正好有 1 个头。
我想过滤实例化一个没有或多个头的机器人的情况。但是,当我设置 Alice 是一个机器人并且有 2 个头(head1 和 head2)时,我希望上面的类表达式会出现不一致的错误,而不是推理器似乎忽略它。任何帮助将不胜感激。
"foo.bar.baz."
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。