在Protege上使用类表达式进行类型推理

您遇到的问题是由于OWL和描述逻辑中的开放世界假设造成的。这意味着推理者只能从明确陈述的信息中推断出新的推论,并且 不 由于缺乏信息。

所以为了达到你想要的结果,你必须声明 Core_Course 和 Elective_Course 是不相交的。然后,您可以执行以下两项操作之一:

(1) 为每个选修课的学生说明其类型 not (Core_Course) 但是你也可以把它说成 选修课程 。

(2) 定义所有知识单元个人,如 core1, core2, ... coren, elective1, elective2, ..., electivek .然后设置 Knowledge_Unit 等同于所有个人和 Core\u课程 所有核心课程个人,即。

 Class: Knowledge_Unit
   EquivalentTo: {core1, core2, ... coren, elective1, elective2, ..., electivek}
 Class: Core_Course
    SubClassOf: Knowledge_Unit,
    EquivalentTo: {core1, core2, ... coren}

更新:20180510

Wrt通用属性限制,如 partOf only KnowledgeUnit ,重要的是要了解,它还包括已知他们不参与任何 partOf 关系这可能导致难以理解的必然性。我已经写过了 here 。