本体基本概念学习记录

阅读更多

protege中本体的建模:

空的本体包含一个类称为Thing。

OWL类翻译为一系列个体,或一系列对象。

Thing类代表所有个体的集合。

Individuals 即为,领域中我们关注的对象

个体可以看作:实例,类的实例。

Proegte中OWL没有使用UNA(唯一命名规范)

这意味着,两个不同的名称可能指向同一个Individual。

Properties

是individuals之间的二元关系

Classes

包含individuals的集合

类可以用来分类(taxonomy),OWL中超类子类之间的关系能够被推理机自动判定。

每个本体都使用一个URI来定义

 

Inverse Properties(反向关系)
本体基本概念学习记录_第1张图片
Functional Properties
hasBirthMother可以当做一个函数来看待
本体基本概念学习记录_第2张图片
Inverse Functional Properties
本体基本概念学习记录_第3张图片
 
Transitive[传递] Properties
本体基本概念学习记录_第4张图片
 
Symmetric[对称] Properties
本体基本概念学习记录_第5张图片
 
Antisymmetric[反对称] Properties
本体基本概念学习记录_第6张图片
 
Reflexive[反身、自反] Properties

本体基本概念学习记录_第7张图片
 
Irreflexive[反自反] Properties
本体基本概念学习记录_第8张图片
 
Property Domains and Ranges
本体基本概念学习记录_第9张图片
 
  • 本体基本概念学习记录_第10张图片
  • 大小: 39.5 KB
  • 本体基本概念学习记录_第11张图片
  • 大小: 46.4 KB
  • 本体基本概念学习记录_第12张图片
  • 大小: 49.9 KB
  • 本体基本概念学习记录_第13张图片
  • 大小: 46.4 KB
  • 本体基本概念学习记录_第14张图片
  • 大小: 43.6 KB
  • 本体基本概念学习记录_第15张图片
  • 大小: 29.1 KB
  • 本体基本概念学习记录_第16张图片
  • 大小: 48 KB
  • 本体基本概念学习记录_第17张图片
  • 大小: 48 KB
  • 本体基本概念学习记录_第18张图片
  • 大小: 43.6 KB
  • 本体基本概念学习记录_第19张图片
  • 大小: 86.6 KB
  • 查看图片附件

你可能感兴趣的:(protege,语义,本体)