protege5.5_ProE4.0

protege5.5_ProE4.0OWL本体的重要组成部分Individuals:个体,代表一个领域里面的对象。可以理解成一个类的实例(instancesofclasses)。Properties:属性,是两个个体之间的双重联

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新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账号...

(0)


相关推荐

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号