examples/eg-18-opposite-of-generated/rdf/eg-18-opposite-of-generated.ttl
author Tim L <lebot@rpi.edu>
Fri, 16 Mar 2012 11:46:43 -0400
changeset 1923 71a70443b308
child 1924 4902b1dc633b
permissions -rw-r--r--
eg 18 - opposite of generation
     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-18-opposite-of-generated/rdf/eg-18-opposite-of-generated.ttl#> .
    12 
    13 :buy_one_beer_get_one_free_one_per_customer_offer_valid_during_happy_hour
    14   a prov:Entity;
    15   prov:wasAttributedTo :proprietor;
    16 
    17   prov:expiredAtTime "2012-03-10T18:00:00-05:00"^^xsd:dateTime;  # unqualified form
    18   prov:qualifiedExpiration [ 
    19        a prov:Expiration, prov:InstantaneousEvent;  # THIS IS NOT AN INVOLVEMENT
    20        prov:atTime "2012-03-10T18:00:00-05:00"^^xsd:dateTime;   # qualified form
    21   ];
    22   foaf:page <http://www.w3.org/2011/prov/wiki/Eg-18-opposite-of-generated>;
    23 .
    24 
    25 
    26 :buy_one_beer_get_one_free_one_per_customer_offer_valid_during_happy_hour       # same entity as above!
    27   a prov:Entity;
    28   prov:wasAttributedTo :proprietor;  # same generous guy.
    29 
    30   prov:consumedBy :paolo_got_one_free_today; # unqualified form, destructive parallel to generation, "active" parallel to expiry.
    31 
    32   prov:qualifiedConsumption [                                   # qualified form
    33        a prov:Consumption, prov:ActivityInvolvement, prov:InstantaneousEvent;
    34        prov:activity :paolo_got_one_free_today;
    35        prov:atTime "2012-03-10T17:15:00-05:00"^^xsd:dateTime;   
    36        rdfs:comment "Paulo consumed his beer 45 minutes before the offer expired.";
    37   ];
    38 .