protege系列教程之property定义

在protege中，类（class）用圆圈标识，实例（individual）用方片标识

属性的两边，可以是类也可以是实例，例如，jean hashBirthMother Peggy ，x 属性 y，属性左侧称为定义域（Domain），属性右侧称为值域（Range）

属性的元信息

属性的基本信息定义，对应protege的位置如图

同义属性（Equivalent To）

选择和这个属性相同意义的属性

父属性 (SubProperty Of)

选择此属性的父属性

逆属性（Inverse Of）

选择和这个属性意义相反的属性

定义域（Domains）

选择此属性的主语

值域（Ranges）

选择此属性的宾语

不相交（Disjoint With）

选择与此类属性不相交的属性

子属性（SuperProperty Of）

选择与此属性的子属性

属性的特性

函数性（Functional Properties）

原文

If a property is functional, for a given individual, there can be at most one individual that is related to the individual via the property.

理解

定义域通过这个属性，只能最多有一个对应的值域

逆函数性（Inverse Functional Properties）

原文

If a property is inverse functional then it means that the inverse property is functional. For a given individual, there can be at most one individual related to that individual via the property.

example: isBirthMotherOf is the inverse property of hasBirthMother. since hasBirthMother is functional, isBirthMotherOf is inverse functional.

理解

此属性对应的逆属性（例如hasBirthMother和isBirthMotherOf互为逆属性）为函数性（Functional Property）的。也就是值域对应的定义域最多有一个。

传递性（Transitive Properties）

原文

If a property is transitive, and the property relates individual a to individual b, and also individual b to individual c, then we can infer that individual a is related to individual c via property P. example hasAncestor.

note:
If a property is transitive then its inverse property should also be transitive .
if a property is transitive then it cannot be functional

理解

A 属性-> B，B 属性-> C，则 A 属性->C
例如：A 有长辈B，B有长辈C，则 A有长辈C

注意：

如果一个属性是“传递性”的，那么它的逆属性也是“传递性”的
如果一个属性是“传递性”的，那么它不能是“函数性”的（因为函数型要求值域最多只能有一个）

对称性（Symmetric Properties）

原文

If a property P is symmetric, and the property relates individual a to individual b then individual b is also related to individual a via property P.

理解

A 属性-> B，那么，B 属性-> A
例如：A 有兄弟 B，那么 B 有兄弟 A

非对称性（Asymmetric properties）

原文

If a property P is asymmetric, and the property relates individual a to individual b then individual b cannot be related to individual a via property P.

理解

A 属性-> B，但是不可以 B 属性-> A
例如： A 有孩子 B， 但不能 B 有孩子 A

自身性（Reflexive properties）

原文

A property P is said to be reflexive when the property must relate individual a to itself

理解

属性的值域可以是自身（也可以是别的实例）
例如，我可以respect别人，也可以respect自己

非自身性（Irreflexive properties）

原文

If a property P is irreflexive, it can be described as a property that relates an individual a to individual b,where individual a and individual b are not the same

理解

属性的值域不可以是自身

此文章英文部分拷贝自下博文：https://blog.youkuaiyun.com/chengyu_whu/article/details/80221704