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)


相关推荐

  • manage.py作用_python源码库

    manage.py作用_python源码库源码目录结构ApiResponse这个类没啥好说的classApiResponse(Response):"""继承了requests模块中的Response类

  • emWin 介绍_emwin教程

    emWin 介绍_emwin教程一、emWin介绍emWin是Segger公司针对嵌入式平台开发的稳定、高效的图形软件库,适合用于任何图形LCD的操作应用,并可输出高质量的无锯齿的文字和图形,通过调用emWin提供的函数接口,开发嵌入式图形界面应用变得简单而快捷。二、emwWn、ucGUI、STemWin三者之间的关系1.三者都是Segger公司的产品。2.emwWn是Segger公司图形系统的正式统称。3.uc…

    2022年10月14日
  • 铁通宽带dns地址(成都dns的服务器地址是多少)

    全国各地电信DNS见下:—————————————————————-北京DNS地址:202.96.199.133202.96.0.133202.106.0.20202.106.148.1202.97.16.195上海DNS地址:202.96.199.132202.96.199.133202.96.20

  • dubbo rpc调用示例_rpc接口是什么意思

    dubbo rpc调用示例_rpc接口是什么意思在国内dubbo成为很多互联网公司高并发分布式场景下rpc框架的首选,dubbo从开源至今经历过蛮多的过程,从开源到中间的停止维护,经过三年的沉寂,2017年9月,阿里巴巴宣布重启dubbo项目。到2018年2月,阿里将dubbo捐献给Apache基金会,随后dubbo经过孵化后顺利成为apache的顶级项目。当然本文的重点不是介绍dubbo的使用,而是介绍如何利用smart-doc工具来生成dubbo的rpc内部接口文档。smart-doc因为其基于注释和java接口定义自动推导的理念,开源以来受到国内

  • python – 关于pycharm选择运行环境「建议收藏」

    python – 关于pycharm选择运行环境「建议收藏」一直用pycharm写代码一直用anaconda管理python环境但是今天我居然发现我不会更改pycharm当前的运行环境到我新建的anacondaenvironment中!配置:系统:win10;GPU:NVIDIAGeForceGTX1050Ti管理平台:anaconda3IDE:Pycharm问题我的anaconda里面有三个环境,第一个是自…

  • object.hashcode的作用_java的hashcode方法

    object.hashcode的作用_java的hashcode方法Java中的hashCode方法就是根据一定的规则将与对象相关的信息(比如对象的存储地址,对象的字段等)映射成一个数值,这个数值称作为散列值。其主要作用是为了配合基于散列的集合一起正常运行,这样的散列集合包括HashSet、HashMap以及HashTable。当集合要添加新的对象时,先调用这个对象的hashCode方法,得到对应的hashcode值,实际上在HashMap的具…

发表回复

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

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