Protege-OWL笔记3推理机（非一致性）

Lesson 3

OWL-DL
判断类是否有从属关系，是不是subclass
一致性检查，该不该instances

使用推理机需要下载插件

推理机创建
1、manually constructed（手动创建）
asserted hierachy

2、classify the ontology（自动生成）
inferred hierachy

推理机的使用
示例：
故意在两个类中放入同一个子类，并且同时包含这个子类的两个subclass互斥（错误逻辑），选中Reasoner-Pellet（Incremental），点击Start reasoner（开始推理）
推理结果在Classes视图的Inferred中，推理机会报错。

红色部分为互斥类，因为其中包含同一个子类，因此报错

Lesson 4

设置primitive class和defined class

充分条件：
B是属于A类的个体
A类的个体满足四个指定的条件
则B一定拥有这四个指定的条件

充分必要条件
除了满足充分条件外，还有：
B满足四个指定的条件，则B一定是A的个体

例：
芝士披萨CheesePizza个体有has Topping some Chess Topping属性，说明芝士披萨有芝士（充分条件），但是并不满足反向判断的条件（所有有芝士的披萨不一定是芝士披萨）

但是如果加入defined class（Edit-Convert to defined class），has Topping some Chess Topping属性将变成充分必要条件 ，因此从该属性会从SubClass Of区转移到Equivalent To（说明可以相互转换，是等价的，充要的）
并且具有充要属性的个体前的圆圈由空心变为三杠。