examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl
author dgarijo
Tue, 06 Mar 2012 19:18:31 +0100
changeset 1779 d9433150115d
parent 1750 a7e1c279eb6c
permissions -rw-r--r--
Ontospec example
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix sd:      <http://www.w3.org/ns/sparql-service-description#> .
@prefix dcat:    <http://www.w3.org/ns/dcat#> .
@prefix void:    <http://rdfs.org/ns/void#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-14-unqualified-and-qualified-times/rdf/eg-14-unqualified-and-qualified-times.ttl#> .

:input_1 a prov:Entity .
:input_2 a prov:Entity .
:activity
   a prov:Activity;
   # Unqualified start
   prov:startedAtTime    "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
   # Qualified Start
   prov:startedAt [
      a prov:TimeInstant; 
      prov:atTime        "2012-01-01T01:01:01-05:00"^^xsd:dateTime; 
   ];

   # Unqualified usage:
   prov:usedEntityAtTime "2012-02-02T01:02:02-05:00"^^xsd:dateTime, 
                         "2012-03-03T01:03:03-05:00"^^xsd:dateTime;
   prov:used :input_1, :input_2;

   # Qualified Usage:
   prov:qualified [
      a prov:Usage;
      prov:entity :input_1;
      prov:atTime "2012-02-02T02:02:02-05:00";
   ], [
      a prov:Usage;
      prov:entity :input_2;
      prov:atTime "2012-03-03T03:03:03-05:00"
   ];

   prov:generated :output;

   # Unqualified end:
   prov:endedAtL         "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
   # Qualified End:
   prov:endedAt [ 
      a prov:TimeInstant; 
      prov:inXSDDateTime "2012-06-06T06:06:06-05:00"^^xsd:dateTime; 
   ];
. 

:output
   a prov:Entity;
   prov:wasGeneratedBy :activity;
   prov:qualified [
      a prov:Generation;
      prov:activity :activity;
      prov:atTime "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
   ];
.