猫头鹰-如何指定一个对象没有通过同一objectProperty

Question

我有一个随课程注册的Student对象（propertyObject）。 我需要限制同一名学生不能同时在同一门课程上注册1次以上。 如何用OWL /Protégé编写？ 拜托！

Answer 1

您不需要限制，它在语言中是隐含的。

您有个人A（一名学生）和个人B（一门课程）。

如果您尝试指定A两次在B中注册，则有两个公理：

A isEnrolledIn B
A isEnrolledIn B

OWL本体是公理的/ sets，因此这两个公理消失了，只剩下一个。