以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  [求助]关于protege中object属性的使用  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=77949)

--  作者：jiangqiangln
--  发布时间：10/26/2009 9:12:00 AM

--  [求助]关于protege中object属性的使用
在objectproperties中，添加属性后，右侧有几个选项：functional、inversefunctional、symmetric、transitive和inverse的作用有点迷惑，我能理解的就是inverse是指相互映射，其他的就不太理解，还有symmetric是指向两个实例是同义吗？望指教：）
--  作者：dbh207
--  发布时间：10/28/2009 9:18:00 AM

--  
The basic components of OWL are classes, properties, individuals and the relationships between them. Classes are the basic building blocks of an OWL ontology arranged in a taxonomic hierarchy. For example Patients and Diseases are 2 good candidates for a top level class in a dermatology ontology. Properties can be categorized as object properties, which relate individuals to other individuals and datatype properties, which relate individuals to datatype values, such as integers, floats, and strings. A property can have a domain and range associated with it. There are various special types of properties such as functional, inverse functional, symmetric and transitive. A functional property can take only one value while two different individuals cannot have the same value in an inverse functional property. If a symmetric property links A to B, then one can infer that it links B to A. If a property links A to B and B to C, then if one can infer that it links A to C, that property is transitive. Individuals are instances of classes; properties can relate one individual to another. Various restrictions can be applied to classes and properties. Cardinality restrictions specify the number of relationships in which a class of individuals can participate. Existential restriction specifies the existence of at least one relationship along a given property to an individual that is a member of a specific class. To restrict the relationship for a given property to individuals that are members of a specific class, a universal restriction must be used. Detailed information about the OWL syntax is available from the W3C website .

也许会有用~

--  作者：dbh207
--  发布时间：10/28/2009 9:21:00 AM

--  
函数属性(Functional Property)——通过这个属性只能连接一个个体。hasBirthMother

反函数属性(Inverse Functional Property)——即这个属性的反属性是函数属性，也就是对于一个给定的个体，只有最多一个个体能通过该属性连接那个个体。isBirthMotherOf

传递属性(Transitive Property)——hasAncestor

对称属性(Symmetric Property)——hasSibling,如果一个属性是对称的那么它就不能是函数属性。

（Protege-OWL教程笔记）

--  作者：dbh207
--  发布时间：10/28/2009 9:28:00 AM

--  
E9: Create inverse properties

Create a new object property called isIngredientOf
Press “Set inverse property” button,
Select “hasIngredient”
Then the inverse relation has been set up.
Select hasBase
Create the isBaseOf as the inverse property of hasBase
isBaseOf is the subproperty of isIngredientOf, why?
Select hasTopping
create isToppingOf as the inverse property.
isToppingOf is the subproperty
of isIngredientOf, why?
Functional Properties

If a property is functional, for a given individual, there can only be at most one individual to be related via this property.
For a given domain, range must be unique
Functional properties are also known as single valued properties.
Inverse Functional Properties

If a property is inverse functional, then its inverse property is functional.
For a given range, domain must be unique.
Functional vs. inverse functional properties

FunctionalProperty vs InverseFunctionalProperty

hasID: A hasID B, C hasID B A=C

For a given range


Domain is unique


InverseFunctionalProperty


hasFather: A hasFather B, A hasFather C B=C


Range is unique


For a given domain


Functional

Property


example

range

domain

Transitive Properties

If a property is transitive, and the property related 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.
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.
E10: Make the hasIngredient property transitive

Select the hasIngredient property
Tick the transitive tick box
Select the isIngredientOf property, make sure that the transitive tick box is ticked.
E11: Make the hasBase property functional

Select the hasBase property
Tick the “functional” tick box
OWL-DL does not allow datatype properties to be transitive, symmetric or have inverse properties.
Property domains and ranges

Properties link individuals from the domain to individuals from the range.
OWL uses domain and range as axioms in reasoning.

可能不大明晰，详情查看http://edogdu.etu.edu.tr/course/bil546/lectures/ProtegeTutorial.ppt
希望能有所帮助^_^

--  作者：Humphrey
--  发布时间：10/28/2009 4:24:00 PM

--  
这就是对象属性之间的全部关系类型，一共分为5种。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 62.500ms