commit 79273bdc172bba14969453485deb1b50c67d3907
parent 6d15a00485762a03d7eb8cfce995f1bde6f3e9ad
Author: elf Pavlik <elf-pavlik@hackers4peace.net>
Date: Sun, 31 Mar 2019 07:15:18 -0600
improve integration with OWL-Time (#453)
* make Flow and Process a subclass of time:TemporalEntity
* define hasBeginning and hasEnd
* improve external terms page
* address feedback
Diffstat:
4 files changed, 45 insertions(+), 45 deletions(-)
diff --git a/docs/specification/external-terms.md b/docs/specification/external-terms.md
@@ -20,3 +20,30 @@ http://xmlns.com/foaf/spec/
https://www.w3.org/TR/vocab-org/
* [`org:Organization`](https://www.w3.org/TR/vocab-org/#org:Organization)
+
+## QUDT
+
+http://qudt.org/doc/2016/DOC_SCHEMA-QUDT-v2.0.html
+
+* [`qudt:QuantityValue`](http://qudt.org/doc/2016/DOC_SCHEMA-QUDT-v2.0.html#Classes)
+* [`qudt:unit`](http://qudt.org/doc/2016/DOC_SCHEMA-QUDT-v2.0.html#Properties)
+* [`qudt:numericValue`](http://qudt.org/doc/2016/DOC_SCHEMA-QUDT-v2.0.html#Properties)
+
+### UNIT
+
+http://qudt.org/doc/2017/DOC_VOCAB-UNITS-BASE.html
+
+* [`unit:Number`](http://qudt.org/doc/2017/DOC_VOCAB-UNITS-BASE.html#Instances)
+
+## TIME
+
+https://www.w3.org/TR/owl-time
+
+* [`time:inXSDDateTimeStamp`](https://www.w3.org/TR/owl-time/#time:inXSDDateTimeStamp)
+* [`time:hasDuration`](https://www.w3.org/TR/owl-time/#time:hasDuration)
+* [`time:before`](https://www.w3.org/TR/owl-time/#time:before)
+* [`time:after`](https://www.w3.org/TR/owl-time/#time:after)
+* [`time:intervalDuring`](https://www.w3.org/TR/owl-time/#time:intervalDuring)
+
+`vf` defines two property chain axioms `vf:hasBeginning` and `vf:hasEnd` as slight variant
+of [Alignment of PROV-O with OWL-Time(https://www.w3.org/TR/owl-time/#time-prov)]
diff --git a/examples/fulfill-satisfy.yaml b/examples/fulfill-satisfy.yaml
@@ -68,14 +68,8 @@
affectedQuantity:
qudt:unit: unit:Hour
qudt:numericValue: 4
- observedTime:
- '@type': time:ProperInterval
- time:intervalStarts:
- '@type': time:Instant
- time:inXSDDateTimeStamp: 2018-10-14T8:00:00-0:00
- time:intervalEnds:
- '@type': time:Instant
- time:inXSDDateTimeStamp: 2018-10-14T12:00:00-0:00
+ hasBeginning: 2018-10-14T8:00:00-0:00
+ hasEnd: 2018-10-14T12:00:00-0:00
- '@id': mfg:6f438393-7f87-4914-806c-e23a4fd15e89
'@type': Fulfillment
@@ -94,14 +88,8 @@
affectedQuantity:
qudt:unit: unit:Hour
qudt:numericValue: 4
- observedTime:
- '@type': time:ProperInterval
- time:intervalStarts:
- '@type': time:Instant
- time:inXSDDateTimeStamp: 2018-10-14T13:00:00-0:00
- time:intervalEnds:
- '@type': time:Instant
- time:inXSDDateTimeStamp: 2018-10-14T17:00:00-0:00
+ hasBeginning: 2018-10-14T13:00:00-0:00
+ hasEnd: 2018-10-14T17:00:00-0:00
- '@id': mfg:0f563083-8da4-46fe-adc3-68b05ba06320
'@type': Fulfillment
diff --git a/examples/process-workflow.yaml b/examples/process-workflow.yaml
@@ -49,6 +49,7 @@
# Economic resource after
+ - '@id': alice:e1721a61-cd47-4556-84b9-8b1b81da15bf
'@type': EconomicResource
resourceConformsTo: http://opensourceecology.org/wiki/Wikispeed_SGT01 # car
trackingIdentifier: JHMCD38698S061469
diff --git a/release-doc-in-process/all_vf.TTL b/release-doc-in-process/all_vf.TTL
@@ -270,13 +270,25 @@ vf:under a owl:ObjectProperty ;
# vs:term_status "unstable" ;
# rdfs:comment "References the commitment that was fully or partially created because of the economic event, often based on a prior agreement." .
-vf:contains a owl:ObjectProperty ;
+vf:contains a owl:ObjectProperty ;
rdfs:label "contains" ;
rdfs:domain vf:EconomicResource ;
rdfs:range vf:EconomicResource ;
vs:term_status "unstable" ;
rdfs:comment "Used when a stock economic resource contains units also defined as economic resources." .
+vf:hasBeginning a owl:DatatypeProperty ;
+ rdfs:domain time:TemporalEntity ;
+ rdfs:range xsd:dateTimeStamp ;
+ owl:propertyChainAxiom (time:hasBeginning time:inXSDDateTimeStamp) ;
+ rdfs:comment "Specific time marking the exact beginning of flow or process".
+
+vf:hasEnd a owl:DatatypeProperty ;
+ rdfs:domain time:TemporalEntity ;
+ rdfs:range xsd:dateTimeStamp ;
+ owl:propertyChainAxiom (time:hasEnd time:inXSDDateTimeStamp) ;
+ rdfs:comment "Specific time marking the exact end of flow or process".
+
vf:currentQuantity a owl:ObjectProperty ;
rdfs:label "current quantity" ;
rdfs:domain vf:EconomicResource ;
@@ -347,34 +359,6 @@ vf:primaryLocation a owl:ObjectProperty ;
vs:term_status "unstable" ;
rdfs:comment "The main place an agent is located, often an address where activities occur and mail can be sent. This is usually a mappable geographic location. It also could be a website address, as in the case of agents who have no physical location." .
-vf:observedTime a owl:ObjectProperty ;
- rdfs:label "observed time" ;
- rdfs:domain vf:EconomicEvent ;
- rdfs:range time:TemporalEntity ;
- vs:term_status "unstable" ;
- rdfs:comment "The actual temporal instant or interval." .
-
-vf:committedTime a owl:ObjectProperty ;
- rdfs:label "committed time" ;
- rdfs:domain vf:Commitment ;
- rdfs:range time:TemporalEntity ;
- vs:term_status "unstable" ;
- rdfs:comment "The promised temporal instant or interval." .
-
-vf:intendedTime a owl:ObjectProperty ;
- rdfs:label "intended time" ;
- rdfs:domain vf:Intent ;
- rdfs:range time:TemporalEntity ;
- vs:term_status "unstable" ;
- rdfs:comment "The intended temporal instant or interval." .
-
-vf:plannedTime a owl:ObjectProperty ;
- rdfs:label "planned time" ;
- rdfs:domain vf:Process ;
- rdfs:range time:TemporalEntity ;
- vs:term_status "unstable" ;
- rdfs:comment "The planned or estimated calendar time the process will take (whether being actually worked or not)." .
-
vf:image a owl:DatatypeProperty ;
vs:term_status "unstable" ;
rdfs:label "image" .