Changes between Version 15 and Version 16 of ISO15926inOWLPart2

Show
Ignore:
Timestamp:
08/10/09 15:17:48 (15 years ago)
Author:
margs (IP: 193.212.132.34)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ISO15926inOWLPart2

    v15 v16  
    116116== ISO 15926-2:2003 chained roles == 
    117117 
    118 The 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].  
     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]. Note: [http://www.w3.org/2007/OWL/wiki/Requirements#F8:_Property_Chain_Inclusion `owl:propertyChain` is a OWL 2 construct], so this file is not OWL DL. 
    119119 
    120120The (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.  
Home
About PCA
Reference Data Services
Projects
Workgroups