From 1b3d00f78e933cb828c4b499010b82d74334a971 Mon Sep 17 00:00:00 2001 From: Evgeny Egorochkin Date: Thu, 19 Aug 2010 01:58:51 +0000 Subject: Made nie:hasPart an inverse functional property and nie:isPartOf a functional property as per #20 --- nie/nie.trig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nie/nie.trig b/nie/nie.trig index f97d1ed..4ae5cae 100644 --- a/nie/nie.trig +++ b/nie/nie.trig @@ -173,7 +173,7 @@ nie: {nie:characterSet rdfs:range xsd:string . nie:isPartOf - a rdf:Property ; + a rdf:Property, nrl:FunctionalProperty ; rdfs:comment "Generic property used to express containment relationships between DataObjects. NIE extensions are encouraged to provide more specific subproperties of this one. It is advisable for actual instances of DataObjects to use those specific subproperties. Note to the developers: Please be aware of the distinction between containment relation and provenance. The isPartOf relation models physical containment, a nie:DataObject (e.g. an nfo:Attachment) is a 'physical' part of an nie:InformationElement (a nmo:Message). Also, please note the difference between physical containment (isPartOf) and logical containment (isLogicalPartOf) the former has more strict meaning. They may occur independently of each other." ; rdfs:domain nie:DataObject ; rdfs:label "isPartOf" ; @@ -335,7 +335,7 @@ nie: {nie:characterSet rdfs:range nrl:InstanceBase . nie:hasPart - a rdf:Property ; + a rdf:Property, nrl:InverseFunctionalProperty ; rdfs:comment "Generic property used to express 'physical' containment relationships between DataObjects. NIE extensions are encouraged to provide more specific subproperties of this one. It is advisable for actual instances of DataObjects to use those specific subproperties. Note to the developers: Please be aware of the distinction between containment relation and provenance. The hasPart relation models physical containment, an InformationElement (a nmo:Message) can have a 'physical' part (an nfo:Attachment). Also, please note the difference between physical containment (hasPart) and logical containment (hasLogicalPart) the former has more strict meaning. They may occur independently of each other." ; rdfs:domain nie:InformationElement ; rdfs:label "hasPart" ; -- cgit v1.2.3