Protege中存在限制语使用的几个问题

Question

我有一个问题，找到一个合适的表达式，给我的DL查询结果，我想要。对于下面的示例：

Classs: Course {CourseA, CourseB, CourseC, CourseD}
Class: Program {UG_CE, G_CE}
Class: Student {John}

ObjectProperty: is-PartOf (Course,Program)

ObjectProperty: hasEnrolledIn (Student, Course)

对于个人：CourseA和CourseB，我断言属性：

is-PartOf UG_CE

对于个人John，断言了以下3项财产：

hasEnrolledIn CourseA
hasEnrolledIn CourseB
hasEnrolledIn CourseC

hasEnrolledIn only ({CourseA , CourseB , CourseC}) 

Student that hasEnrolledIn only (is-PartOf value UG_CE)

Answer 1

虽然在John上什么课的问题上“关闭”这个世界是很好的，但在UG_CE需要上什么课的问题上关闭这个世界同样重要。我认为您需要这样的方法：

    M需要A。
    M需要B。
    M：只需要{A,B}。

 · · · ·J·招生丁A.
 · · ·J·招生丁B.
 · · ·J·招生丁C.
 · · · J：仅招生丁{A,B,C}。

对于单个学生J，您可以通过询问M所需的类集是否是该学生所注册的类集的子集来了解他们是否注册了M所需的所有类：

 · · · （inverse（requires）value M）子类of（inverse（arrendedIn）value J）

或者，在DL表示法中，使用枚举类（有很多可能的表达方式）：