我正在尝试使用OWL建立一个本体。我有两个班：Test和Question。我有一个对象属性hasQuestion，具有域（Test）和范围（Question）。
如果我为课程Exam1创建了一个个人Test，并且没有将它与Question个人联系起来，我希望推理者提出不一致的问题。如何在Protege中做到这一点？
例如：
Exam1 (Test)
Exam2 (Test) hasQuestion Quest1 (Question)
当我在Exam1上运行推理程序时，由于没有与之相关的疑问，我应该会感到不一致。但是，Exam2不应引起不一致，因为它与Quest1相关。