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(说明可以相互转换,是等价的,充要的)
并且具有充要属性的个体前的圆圈由空心变为三杠。