Beginning ultimate-sample treatment

w3c · Aug 5, 2019 · 878e49f · 878e49f
1 parent a454b87
commit 878e49f
Show file tree

Hide file tree

Showing 2 changed files with 93 additions and 73 deletions.
diff --git a/proposals/ssn-extensions/rdf/ssn-ext.jsonld b/proposals/ssn-extensions/rdf/ssn-ext.jsonld
@@ -2,18 +2,13 @@
   "@graph" : [ {
     "@id" : "_:b0",
     "@type" : "owl:Restriction",
-    "maxCardinality" : "1",
-    "onProperty" : "sosa:phenomenonTime"
-  }, {
-    "@id" : "_:b1",
-    "@type" : "owl:Restriction",
     "allValuesFrom" : "sosa:FeatureOfInterest",
     "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
   }, {
     "@id" : "_:b10",
     "@type" : "owl:Restriction",
     "maxCardinality" : "1",
-    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
+    "onProperty" : "sosa:resultTime"
   }, {
     "@id" : "_:b11",
     "@type" : "owl:Class",
@@ -23,64 +18,63 @@
   }, {
     "@id" : "_:b12",
     "@type" : "owl:Restriction",
-    "maxCardinality" : "1",
-    "onProperty" : "sosa:observedProperty"
+    "allValuesFrom" : "sosa:Sensor",
+    "onProperty" : "sosa:madeBySensor"
   }, {
     "@id" : "_:b13",
     "@type" : "owl:Restriction",
-    "maxCardinality" : "1",
-    "onProperty" : "sosa:hasFeatureOfInterest"
+    "minCardinality" : "1",
+    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
   }, {
     "@id" : "_:b14",
     "@type" : "owl:Restriction",
-    "allValuesFrom" : "sosa:ObservableProperty",
-    "onProperty" : "sosa:observedProperty"
+    "minCardinality" : "1",
+    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
   }, {
     "@id" : "_:b15",
     "@type" : "owl:Restriction",
     "maxCardinality" : "1",
-    "onProperty" : "sosa:madeBySensor"
+    "onProperty" : "sosa:phenomenonTime"
   }, {
     "@id" : "_:b16",
     "@type" : "owl:Restriction",
+    "maxCardinality" : "1",
+    "onProperty" : "sosa:usedProcedure"
+  }, {
+    "@id" : "_:b17",
+    "@type" : "owl:Restriction",
     "allValuesFrom" : "sosa:Procedure",
     "onProperty" : "sosa:usedProcedure"
   }, {
     "@id" : "_:b18",
     "@type" : "owl:Restriction",
-    "minCardinality" : "1",
-    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
+    "allValuesFrom" : "ssn:Stimulus",
+    "onProperty" : "ssn:wasOriginatedBy"
   }, {
     "@id" : "_:b19",
     "@type" : "owl:Restriction",
-    "minCardinality" : "1",
-    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
-  }, {
-    "@id" : "_:b2",
-    "@type" : "owl:Restriction",
     "maxCardinality" : "1",
-    "onProperty" : "sosa:resultTime"
+    "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
   }, {
-    "@id" : "_:b20",
+    "@id" : "_:b3",
     "@type" : "owl:Restriction",
     "minCardinality" : "1",
     "onProperty" : "ssn-ext:hasUltimateFeatureOfInterest"
   }, {
-    "@id" : "_:b22",
+    "@id" : "_:b4",
     "@type" : "owl:Restriction",
-    "maxCardinality" : "1",
-    "onProperty" : "sosa:usedProcedure"
+    "allValuesFrom" : "sosa:ObservableProperty",
+    "onProperty" : "sosa:observedProperty"
   }, {
-    "@id" : "_:b3",
+    "@id" : "_:b5",
     "@type" : "owl:Restriction",
-    "allValuesFrom" : "sosa:Sensor",
+    "maxCardinality" : "1",
     "onProperty" : "sosa:madeBySensor"
   }, {
     "@id" : "_:b6",
-    "@type" : "owl:Class",
-    "unionOf" : {
-      "@list" : [ "sosa:Observation", "ssn-ext:ObservationCollection" ]
-    }
+    "@type" : "owl:Restriction",
+    "allValuesFrom" : "sosa:FeatureOfInterest",
+    "onProperty" : "sosa:hasFeatureOfInterest"
   }, {
     "@id" : "_:b7",
     "@type" : "owl:Restriction",
@@ -89,23 +83,23 @@
   }, {
     "@id" : "_:b8",
     "@type" : "owl:Restriction",
-    "allValuesFrom" : "ssn:Stimulus",
-    "onProperty" : "ssn:wasOriginatedBy"
+    "maxCardinality" : "1",
+    "onProperty" : "sosa:hasFeatureOfInterest"
   }, {
     "@id" : "_:b9",
     "@type" : "owl:Restriction",
-    "allValuesFrom" : "sosa:FeatureOfInterest",
-    "onProperty" : "sosa:hasFeatureOfInterest"
+    "maxCardinality" : "1",
+    "onProperty" : "sosa:observedProperty"
   }, {
     "@id" : "sosa:Actuation",
-    "subClassOf" : "_:b20"
+    "subClassOf" : "_:b14"
   }, {
     "@id" : "sosa:Observation",
     "comment" : "If values are not provided for the following Observation properties, they may be provided by the ObservationCollection of which it is a member:\n- hasFeatureOfInterest\n- hasUltimateFeatureOfInterest\n- madeBySensor\n- observedProperty\n- phenomenonTime\n- resultTime\n- usedProcedure",
-    "subClassOf" : "_:b19"
+    "subClassOf" : "_:b13"
   }, {
     "@id" : "sosa:Sampling",
-    "subClassOf" : "_:b18"
+    "subClassOf" : "_:b3"
   }, {
     "@id" : "sosa:hasFeatureOfInterest",
     "domainIncludes" : "ssn-ext:ObservationCollection"
@@ -137,12 +131,12 @@
     "@type" : "owl:Class",
     "comment" : "Collection of observations, typically with one or more property shared by all of its members",
     "label" : "Collection of observations",
-    "subClassOf" : [ "_:b2", "_:b14", "_:b9", "_:b12", "_:b16", "_:b13", "_:b7", "_:b22", "_:b8", "_:b10", "_:b0", "_:b3", "_:b1", "_:b15" ]
+    "subClassOf" : [ "_:b4", "_:b16", "_:b7", "_:b12", "_:b15", "_:b8", "_:b5", "_:b17", "_:b0", "_:b19", "_:b9", "_:b10", "_:b6", "_:b18" ]
   }, {
     "@id" : "ssn-ext:hasMember",
     "@type" : "owl:ObjectProperty",
     "domainIncludes" : "ssn-ext:ObservationCollection",
-    "rangeIncludes" : [ "ssn-ext:ObservationCollection", "sosa:Observation" ],
+    "rangeIncludes" : [ "sosa:Observation", "ssn-ext:ObservationCollection" ],
     "comment" : "Link to a member within a collection of (observations) or (collections of observations) that share the same value for one or more of the characteristic properties",
     "domain" : "ssn-ext:ObservationCollection",
     "label" : "member observation",
@@ -151,33 +145,21 @@
   }, {
     "@id" : "ssn-ext:hasUltimateFeatureOfInterest",
     "@type" : "owl:ObjectProperty",
-    "domainIncludes" : [ "sosa:Sampling", "sosa:Observation", "sosa:Actuation" ],
+    "domainIncludes" : [ "sosa:Actuation", "sosa:Observation", "sosa:Sampling" ],
     "rangeIncludes" : "sosa:FeatureOfInterest",
-    "comment" : [ "should match a property chain something like this but with sosa:isSampleOf*\n      owl:propertyChainAxiom ( sosa:hasFeatureOfInterest sosa:isSampleOf )", "link to the ultimate feature of interest of an observation or act of sampling. This is useful when the proximate feature of interest is a sample of the ultimate feature of interest, directly or trasntitively." ],
+    "comment" : [ "link to the ultimate feature of interest of an observation or act of sampling. This is useful when the proximate feature of interest is a sample of the ultimate feature of interest, directly or trasntitively.", "should match a property chain something like this but with sosa:isSampleOf*\n      owl:propertyChainAxiom ( sosa:hasFeatureOfInterest sosa:isSampleOf )" ],
     "label" : "has ultimate feature of interest",
     "range" : "sosa:FeatureOfInterest"
-  }, {
-    "@id" : "ssn-ext:isMemberOf",
-    "@type" : "owl:ObjectProperty",
-    "comment" : "indicates a collection of which the context resource is a member",
-    "domain" : "_:b6",
-    "label" : "is member of",
-    "range" : "ssn-ext:ObservationCollection",
-    "inverseOf" : "ssn-ext:hasMember"
   } ],
   "@context" : {
-    "onProperty" : {
-      "@id" : "http://www.w3.org/2002/07/owl#onProperty",
-      "@type" : "@id"
-    },
-    "maxCardinality" : {
-      "@id" : "http://www.w3.org/2002/07/owl#maxCardinality",
-      "@type" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
-    },
     "domainIncludes" : {
       "@id" : "http://schema.org/domainIncludes",
       "@type" : "@id"
     },
+    "onProperty" : {
+      "@id" : "http://www.w3.org/2002/07/owl#onProperty",
+      "@type" : "@id"
+    },
     "allValuesFrom" : {
       "@id" : "http://www.w3.org/2002/07/owl#allValuesFrom",
       "@type" : "@id"
@@ -190,9 +172,13 @@
       "@id" : "http://www.w3.org/1999/02/22-rdf-syntax-ns#first",
       "@type" : "@id"
     },
-    "inverseOf" : {
-      "@id" : "http://www.w3.org/2002/07/owl#inverseOf",
-      "@type" : "@id"
+    "minCardinality" : {
+      "@id" : "http://www.w3.org/2002/07/owl#minCardinality",
+      "@type" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
+    },
+    "maxCardinality" : {
+      "@id" : "http://www.w3.org/2002/07/owl#maxCardinality",
+      "@type" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
     },
     "range" : {
       "@id" : "http://www.w3.org/2000/01/rdf-schema#range",
@@ -201,17 +187,9 @@
     "label" : {
       "@id" : "http://www.w3.org/2000/01/rdf-schema#label"
     },
-    "domain" : {
-      "@id" : "http://www.w3.org/2000/01/rdf-schema#domain",
-      "@type" : "@id"
-    },
     "comment" : {
       "@id" : "http://www.w3.org/2000/01/rdf-schema#comment"
     },
-    "minCardinality" : {
-      "@id" : "http://www.w3.org/2002/07/owl#minCardinality",
-      "@type" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
-    },
     "rangeIncludes" : {
       "@id" : "http://schema.org/rangeIncludes",
       "@type" : "@id"
@@ -220,8 +198,8 @@
       "@id" : "http://www.w3.org/2000/01/rdf-schema#subPropertyOf",
       "@type" : "@id"
     },
-    "unionOf" : {
-      "@id" : "http://www.w3.org/2002/07/owl#unionOf",
+    "domain" : {
+      "@id" : "http://www.w3.org/2000/01/rdf-schema#domain",
       "@type" : "@id"
     },
     "subClassOf" : {
@@ -240,6 +218,10 @@
       "@id" : "http://purl.org/dc/terms/created",
       "@type" : "http://www.w3.org/2001/XMLSchema#date"
     },
+    "unionOf" : {
+      "@id" : "http://www.w3.org/2002/07/owl#unionOf",
+      "@type" : "@id"
+    },
     "schema" : "http://schema.org/",
     "owl" : "http://www.w3.org/2002/07/owl#",
     "xsd" : "http://www.w3.org/2001/XMLSchema#",

diff --git a/proposals/ssn-extensions/rdf/ssn-ext.ttl b/proposals/ssn-extensions/rdf/ssn-ext.ttl
@@ -37,9 +37,31 @@ sosa:Observation
       owl:onProperty ssn-ext:hasUltimateFeatureOfInterest ;
     ] ;
 .
+sosa:Sample
+  rdfs:subClassOf [
+      a owl:Restriction ;
+      owl:allValuesFrom sosa:FeatureOfInterest ;
+      owl:onProperty ssn-ext:isUltimateSampleOf ;
+    ] ;
+  rdfs:subClassOf [
+      a owl:Restriction ;
+      owl:allValuesFrom sosa:Sample ;
+      owl:onProperty ssn-ext:hasOriginalSample ;
+    ] ;
+  rdfs:subClassOf [
+      a owl:Restriction ;
+      owl:cardinality "1"^^xsd:nonNegativeInteger ;
+      owl:onProperty ssn-ext:hasOriginalSample ;
+    ] ;
+  rdfs:subClassOf [
+      a owl:Restriction ;
+      owl:minCardinality "1"^^xsd:nonNegativeInteger ;
+      owl:onProperty ssn-ext:isUltimateSampleOf ;
+    ] ;
+.
 sosa:Sampling
   rdfs:subClassOf [
-      rdf:type owl:Restriction ;
+      a owl:Restriction ;
       owl:minCardinality "1"^^xsd:nonNegativeInteger ;
       owl:onProperty ssn-ext:hasUltimateFeatureOfInterest ;
     ] ;
@@ -162,8 +184,16 @@ ssn-ext:hasMember
     ] ;
   rdfs:subPropertyOf rdfs:member ;
 .
+ssn-ext:hasOriginalSample
+  a owl:ObjectProperty ;
+  schema:domainIncludes sosa:Sample ;
+  schema:rangeIncludes sosa:Sample ;
+  rdfs:comment "link to the original sample that is related to the context sample through a chain of isSampleOf relations" ;
+  rdfs:label "has original sample" ;
+  rdfs:range sosa:Sample ;
+.
 ssn-ext:hasUltimateFeatureOfInterest
-  rdf:type owl:ObjectProperty ;
+  a owl:ObjectProperty ;
   schema:domainIncludes sosa:Actuation ;
   schema:domainIncludes sosa:Observation ;
   schema:domainIncludes sosa:Sampling ;
@@ -188,3 +218,11 @@ ssn-ext:isMemberOf
   rdfs:range ssn-ext:ObservationCollection ;
   owl:inverseOf ssn-ext:hasMember ;
 .
+ssn-ext:isUltimateSampleOf
+  a owl:ObjectProperty ;
+  schema:domainIncludes sosa:Sample ;
+  schema:rangeIncludes sosa:FeatureOfInterest ;
+  rdfs:comment "link to the ultimate feature of interest of the context sample - i.e. the end of a chain of isSampleOf relations" ;
+  rdfs:label "is ultimate sample of" ;
+  rdfs:range sosa:FeatureOfInterest ;
+.