# Changes between Version 13 and Version 14 of ISO15926inOWLPart2

Show
Ignore:
Timestamp:
09/04/08 06:22:21 (13 years ago)
Comment:

--

Unmodified
Removed
Modified
• ## ISO15926inOWLPart2

v13 v14
7777
7878
79 == ISO 15926-2:2003 chained roles ==
8079
81 The file http://rds.posccaesar.org/2008/09/OWL/ISO-15926-2_2003_chainedRoles defines a series of `owl:propertyChain`s. (More information will follow..)
80{{{
81#!RightFigure
8282
8383{{{

108108
109109}}}
110
111''Figure 2: The `owl:Class` `Specialization`, the `owl:ObjectProperty`s `hasSubclass`[[BR]]and `hasSuperclass` (solid line), their inverse `owl:ObjectProperty`s `isSubclassIn`[[BR]]and `isSuperclassIn` (dashed line) respectively -- and the `owl:propertychain`[[BR]]`isSubclassIn-o-hasSuperclass` (in red).''
112
113}}}
114
115
116== ISO 15926-2:2003 chained roles ==
117
118The file http://rds.posccaesar.org/2008/09/OWL/ISO-15926-2_2003_chainedRoles defines a series of `owl:propertyChain`s. Property chains are the "owl-equvialent" to the mathematical [http://en.wikipedia.org/wiki/Relation_composition composition of relations].
119
120The (binary) relations defined in ISO-15926 are ''reified'', meaning that they are represented as entities with two attributes, e.g., the `COMPOSITION_OF_INDIVIDUAL` entity has two attributes: `part` and `whole`. In OWL the common way of representing relations is by means of binary properties, e.g., `hasPart` having "wholes" as domain and "parts" as range. This is equivalent to a binary logical predicate [[LatexEquation(hasPart(x, y))]] which is true only if [[LatexEquation(y)]] is a part of [[LatexEquation(x)]]. The property chain construct in OWL allows for an elegant definition of the more "OWL friendly" binary properties from the reified relations.
121  __Example__: Specializations of classes in ISO 15926 are represented using the reified entity `SPECIALIZATION`. `SPECIALIZATION` has two attributes `subclass` and `superclass`. In the [http://rds.posccaesar.org/2008/02/OWL/ISO-15926-2_2003 OWL representation of ISO 15926-2] this becomes the `owl:Class` `Specialization` and two `owl:ObjectProperty`s `hasSubclass` and `hasSuperclass` where the domain of the two properties is the class `Specialization`. (Read more on the OWL representation here). In OWL specialization is represented using `rdsf:subClassOf`. This relation can be mimiced by a property chain of `isSubclassIn` (the inverse property of `hasSubclass`) and `hasSuperclass`. This property chain is defined in [http://rds.posccaesar.org/2008/09/OWL/ISO-15926-2_2003_chainedRoles ISO-15926-2_2003_chainedRoles] and is called `isSubclassIn-o-hasSuperclass`. See Figure 2 for an illustration of this example.
122
110123
111124== OWL list ==