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

2024-07-07 13:42:06

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

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

CPL DPL RPL的区别一致性代码段和非一致性代码段
概述:在谈论保护模式编程的时候,一直会有这样的困惑:为什么除了CPL和DPL还有RPL?什么时候高特权级不能访问低特权级?什么时候低特权级不能访问高特权级?一致性代码和非一致性代码有什么区别?等等这些 ...
非一致性访存系统_Hibernate事实：访存策略的重要性
非一致性访存系统在使用ORM工具时,每个人都承认数据库设计和实体到表映射的重要性. 这些方面引起了很多关注,而诸如获取策略之类的事情可能只是推迟了. 我认为,不应将实体获取策略与实体映射设计分开,因 ...
NUMA全称 Non-Uniform Memory Access，译为“非一致性内存访问”，积极NUMA内存策略
目录 NUMA的诞生背景 NUMA构架细节上机演示 NUMA Memory Policy What is NUMA Memory Policy? Memory Policy Concepts Sco ...
vba遗传算法之非一致性突变
http://www.docin.com/p-959323141-f4.html 1 Sub 非一致性变异() 2 Dim totalGenerate As Integer, currentGener ...
如何检查SMC存储卡有非一致性或者是格式错误以及修复的方法？
如何检查SMC存储卡有非一致性或者是格式错误以及修复的方法? 概述: SIMATIC 存储卡(SMC)使用的是特殊的 FAT32 文件系统,且能够在 Windows 系统中使用. 如果在 Window ...
一致性成本非一致性成本
一致性成本vs非一致性成本质量成本: 质量成本(cost of quality)包括在产品生命周期中为预防不符合要求,为评估产品或服务是否符合要求,以及因未达到要求(返工),而发生的所有成本. 一致 ...
质量成本(一致性成本和非一致性成本)
项目管理知识体系指南第四版(PMBOK2008)8.1.2.2 质量成本. "质量成本包括在产品生命周期中为预防不符合要求.为评价产品或服务是否符合要求,以及因未达到要求,而发生的所有成本. ...
一致性成本和非一致性成本
今天区分一下"一致性成本"和"非一致性成本"区别: 先上图: 一致性成本指预防出错的所发生的成本.质量保证属于一致性成本. 一致性成本又分为预防成本.评估成本 ...
Protege 学习笔记
1 命名命名采用驼峰命名法,通常: class(类)命名时,首字母大写,如Person,Place,Topping property(属性)命名时,首字母小写,如career,fullname 加同 ...

最新文章

热门文章