大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。
Jetbrains全系列IDE使用 1年只要46元 售后保障 童叟无欺
OWL本体的重要组成部分
- Individuals:个体,代表一个领域里面的对象。可以理解成一个类的实例(instances of classes)。
- Properties:属性,是两个个体之间的双重联系,它有三个重要的特性(functional、transitive、symmetric)。
- Classes:个体的集合,是一系列概念的语义表达,和编程语言中的类相似,有继承体系。
- Class Axiom:类的公理,在验证一致性和推理中发挥作用。
- Class Expression:类的表达,有并、交、补、匿名类等。
Properties:
代表一种关系relationship。
- ObjectProperties,代表了individual之间的一种关系;
- Data Properties,代表了individual和基本数据类型的关系,就像类的属性;
- AnnotationProperties,属于元数据,数据的数据,可以用来解释Classes、Individual、Object / Data Properties。
Properties特性:
- 反(逆)关系:inverse,如小张是老张的儿子,那么反关系中老张是小张的父亲。
- 函数关系:functional,如小张最好的朋友是李四,小张最好的朋友是小豆子,那么李四和小豆子等同。
- 对等(对称)关系:symmetric,指的是properties的对等性,是2个individual和1个properties,如老李与老张是邻居,与上面的inverse是2个individual和2个properties,小张是老张的儿子,老张是小张的父亲。
- 传递性:transitive。
- 非对称关系:asymmetric,如反关系中的,小张是老张的儿子,不可能用对称关系说老张是小张的儿子。
- 自反性:reflexive,即将一个properties指向自身,如小张知道小李,小张知道自己。
- 非自反性:irreflexive,如“是儿子”就非自反,自己不会是自己的儿子。
Properties的domain与rangeµ
domain、range和properties特性不一样,特性是一种推理机制要用来约束(Constaint)的,约束即是限制,可以用推理机制来验证,限制出问题就会推理出错。而domain、range是一种公理(axiom),公理总是对的,推理要基于它们。
Data Properties:
- Equivalent to (another property): 两个属性表示的意思相同
- SubProperty of : 另外一个属性的子属性
- Domains (class): 主语,为一个类添加该属性
- Ranges : 类型
- Disjoint With : 两个属性没有交集,应该是指同一个类不能同时拥有这两个属性的意思.
定义类
总共有三类定义类的表达,一个是命名类(Named Class),一个是对很多命名类的两次集合运算而杂糅出新的类,再有就是限制性的类,也就是匿名类(Restriction Class),用动宾形式表达。
- 命名类:是最常用的,没有任何语义,仅仅是ID号,一个标示;
- 匿名类:没有一个命名,没有一个标志,会在每个命名类的父类声明(涉及到一个建模原则:把一个类的各个特征抽象出来,将每个特征转化为动宾结构,再将其表达为一个匿名类,一个类有多少个特征,它就有多少个父类)。
#### 类公理
- SubClassOf:表示类与类的层次关系,上下所属关系,能将所有的类与类之间的关系完整推理出来。
- EquivalentClasses:表示了类与类之间的等价关系。
- DisjointClasses:限制作用,将类与类从一个概念上完全隔离。
发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/167748.html原文链接:https://javaforall.cn
【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛
【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...