diff --git a/profilesont/examples/isTransitiveProfileOf.svg b/profilesont/examples/isTransitiveProfileOf.svg new file mode 100755 index 000000000..8aecfed6a --- /dev/null +++ b/profilesont/examples/isTransitiveProfileOf.svg @@ -0,0 +1,424 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + isTransitiveProfileOf + + + + Rounded Rectangle.10 + owl:Class + + + + + + + + + + + + + + + + + + + + + + owl:Class + + Sheet.2 + Element Key + + + + Element Key + + Dynamic connector.4 + + + + Sheet.6 + rdf:type + + + + rdf:type + + Rounded Rectangle.218 + PROF class + + + + + + + + + + + + + + + + + + + + + + PROF class + + Rounded Rectangle.31 + owl: NamedIndividual + + + + + + + + + + + + + + + + + + + + + + owl:NamedIndividual + + Dynamic connector.64 + + + + Sheet.10 + rdf:property + + + + rdf:property + + Rounded Rectangle.12 + dct:Standard + + + + + + + + + + + + + + + + + + + + + + dct:Standard + + Rounded Rectangle.13 + Profile + + + + + + + + + + + + + + + + + + + + + + Profile + + Dynamic connector.15 + + + + Rounded Rectangle.16 + OWL Profile of ISO19160-1 + + + + + + + + + + + + + + + + + + + + + + OWL Profile of ISO19160-1 + + Dynamic connector.17 + + + + Rounded Rectangle.36 + New Zealand Profile of ISO19160-1 + + + + + + + + + + + + + + + + + + + + + + New Zealand Profile of ISO19160-1 + + Dynamic connector + is profile of + + + + + is profile of + + Dynamic connector.38 + is profile of + + + + + is profile of + + Rounded Rectangle.39 + ISO 19160-1:2015 Addressing + + + + + + + + + + + + + + + + + + + + + + ISO 19160-1:2015 Addressing + + Dynamic connector.40 + + + + Rounded Rectangle.48 + OWL + + + + + + + + + + + + + + + + + + + + + + OWL + + Dynamic connector.49 + + + + Dynamic connector.50 + is profile of + + + + + is profile of + + Dynamic connector.51 + + + + Dynamic connector.52 + is transitive profile of + + + + + is transitive profile of + + Sheet.55 + inferred + + + + inferred + + Dynamic connector.57 + + + + Dynamic connector.58 + + + + Dynamic connector.60 + is transitive profile of + + + + + is transitive profile of + + diff --git a/profilesont/index.html b/profilesont/index.html index 775cf465e..821031ece 100644 --- a/profilesont/index.html +++ b/profilesont/index.html @@ -434,6 +434,68 @@

isTransitiveProfileOf

skos:broaderTransitive due to Profiles being complex objects relative to SKOS Concepts.

+
+ + + +
Property isInheritedFrom in use. See the full explanation in the example text below.
+
+ 
+# A profile that is within a hierarchy of profiles may wish to indicate it profiles
+# things "further up the chain". To do this, prof:isTransitiveProfileOf can be used
+# to indicate anything the profile is related to by a series of one or more
+# prof:isProfileOf properties.
+
+# Here the New Zealand profile of the ISO addressing standard is presented in a chain
+# of profiles:
+
+@prefix dct: <http://purl.org/dc/terms/> .
+@prefix prof: <http://www.w3.org/ns/dx/prof/> .
+@prefix role: <http://www.w3.org/ns/dx/prof/role/> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://linked.data.gov.au/def/iso19160-1-address-nz-profile>
+  a prof:Profile ;
+  rdfs:label "New Zealand Profile of ISO19160-1" ;
+  rdfs:comment """This is a country-specific profile of the international
+                  addressing standard, ISO19160-1:2015 (Address)""" ;
+  prof:isProfileOf <http://linked.data.gov.au/def/iso19160-1-address> .
+
+# The ISO thing that the NZ Profile profiles is actually a Web Ontology Language
+# (OWL) version of the original ISO addressing standard
+<http://linked.data.gov.au/def/iso19160-1-address>
+  a prof:Profile ;
+  rdfs:label "OWL Profile of ISO19160-1" ;
+  rdfs:comment """This profile profiles both ISO19160-1 (Addressing) and also
+                  the Web Ontology Language (OWL)""" ;
+  prof:isProfileOf <https://www.iso.org/standard/61710.html> ,
+                   <http://www.w3.org/2002/07/owl#> .
+
+<https://www.iso.org/standard/61710.html>
+  a dct:Standard ;
+  rdfs:label "ISO 19160-1:2015 Addressing -- Part 1: Conceptual model" .
+
+# Now, according to the semantics of prof:isTransitiveProfileOf, using the
+# prof:isProfileOf statements above, one can infer the following additional
+# statements:
+
+<http://linked.data.gov.au/def/iso19160-1-address-nz-profile>
+  prof:isTransitiveProfileOf <http://linked.data.gov.au/def/iso19160-1-address> ,
+                             <https://www.iso.org/standard/61710.html> ,
+                             <http://www.w3.org/2002/07/owl#> .
+
+# These statements may help consumers understand which broad, well-known
+# profiles data they have conforms to when they are presented only with its
+# conformance to most specialised (lowest) profile in a hierarchy which they
+# may not understand.
+
+# In this example too, a user of the profile
+# <http://linked.data.gov.au/def/iso19160-1-address-nz-profile> will also
+# understand that data conforming to it is also conformant with OWL which is not
+# in the direct hierarchy of addressing standards (iso19160-1-address-nz-profile >
+# iso19160-1-address > ISO 19160-1:2015) but is critical to know about when using
+# the specialised standard as it can indicate reasoning possibilities.
+

hasToken

diff --git a/profilesont/profilesont.ttl b/profilesont/profilesont.ttl index b1eb26840..1d083ffa7 100644 --- a/profilesont/profilesont.ttl +++ b/profilesont/profilesont.ttl @@ -71,6 +71,7 @@ dct:format rdf:type owl:AnnotationProperty ; :isProfileOf rdf:type owl:ObjectProperty ; rdfs:domain :Profile ; rdfs:range dct:Standard ; + rdfs:subPropertyOf :isTransitiveProfileOf ; skos:usageNote "The semantics of the rdfs:Range means that any resource treated as a base specification can be regarded as a Profile (i.e. may be any specification with an empty set of additional constraints)"@en ; skos:definition "A Profile is a profile of a dct:Standard (or a Base Specification or another Profile)"@en ; rdfs:label "is profile of" .