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 1746 21c5814b1a20
permissions -rw-r--r--
Ontospec example
     1 @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     2 @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
     3 @prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
     4 @prefix owl:     <http://www.w3.org/2002/07/owl#> .
     5 @prefix dcterms: <http://purl.org/dc/terms/> .
     6 @prefix sd:      <http://www.w3.org/ns/sparql-service-description#> .
     7 @prefix dcat:    <http://www.w3.org/ns/dcat#> .
     8 @prefix void:    <http://rdfs.org/ns/void#> .
     9 @prefix foaf:    <http://xmlns.com/foaf/0.1/> .
    10 @prefix prov:    <http://www.w3.org/ns/prov#> .
    11 @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#> .
    12 
    13 :input_1 a prov:Entity .
    14 :input_2 a prov:Entity .
    15 :activity
    16    a prov:Activity;
    17    # Unqualified start
    18    prov:startedAtTime    "2012-01-01T01:01:01-05:00"^^xsd:dateTime;
    19    # Qualified Start
    20    prov:startedAt [
    21       a prov:TimeInstant; 
    22       prov:atTime        "2012-01-01T01:01:01-05:00"^^xsd:dateTime; 
    23    ];
    24 
    25    # Unqualified usage:
    26    prov:usedEntityAtTime "2012-02-02T01:02:02-05:00"^^xsd:dateTime, 
    27                          "2012-03-03T01:03:03-05:00"^^xsd:dateTime;
    28    prov:used :input_1, :input_2;
    29 
    30    # Qualified Usage:
    31    prov:qualified [
    32       a prov:Usage;
    33       prov:entity :input_1;
    34       prov:atTime "2012-02-02T02:02:02-05:00";
    35    ], [
    36       a prov:Usage;
    37       prov:entity :input_2;
    38       prov:atTime "2012-03-03T03:03:03-05:00"
    39    ];
    40 
    41    prov:generated :output;
    42 
    43    # Unqualified end:
    44    prov:endedAtL         "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
    45    # Qualified End:
    46    prov:endedAt [ 
    47       a prov:TimeInstant; 
    48       prov:inXSDDateTime "2012-06-06T06:06:06-05:00"^^xsd:dateTime; 
    49    ];
    50 . 
    51 
    52 :output
    53    a prov:Entity;
    54    prov:wasGeneratedBy :activity;
    55    prov:qualified [
    56       a prov:Generation;
    57       prov:activity :activity;
    58       prov:atTime "2012-05-05T05:05:05-05:00"^^xsd:dateTime;
    59    ];
    60 .