本体基本概念学习记录

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张图片
 

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