ontology/components/used/prov-dm-pe1-used-e1-e2.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 862 1a84f159ba4d
permissions -rw-r--r--
minor updates to address dong's comments
809
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     1
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     2
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     3
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     4
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     5
@prefix time: <http://www.w3.org/2006/time#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     6
@prefix dcterms: <http://purl.org/dc/terms/> .
862
1a84f159ba4d changed prov namespace to http://www.w3.org/ns/prov-o/
Tim L <lebot@rpi.edu>
parents: 817
diff changeset
     7
@prefix prov: <http://www.w3.org/ns/prov-o/> .
809
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     8
@prefix nfo: <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
     9
@prefix app: <http://www.w3.org/TR/2011/WD-prov-dm-20111018/app#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    10
@prefix :    <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#> .
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    11
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    12
:pe1
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    13
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Use>;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    14
   dcterms:description "used(pe1,e1,qualifier(parameter='p1'),t1)";
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    15
   a prov:ProcessExecution;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    16
   prov:used :e1;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    17
   prov:qualifiedUsage [
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    18
      a prov:Use;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    19
      prov:entity :e1;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    20
      :parameter "p1";
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    21
      prov:time [ a prov:Time; rdf:value 1 ];
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    22
   ];
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    23
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    24
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-Use>;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    25
   dcterms:description "used(pe1,e2,qualifier(parameter='p2'),t2)";
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    26
   prov:used :e1;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    27
   prov:qualifiedUsage [
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    28
      a prov:Use;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    29
      prov:entity :e2;
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    30
      :parameter "p2";
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    31
      prov:time [ a prov:Time; rdf:value 2 ]; 
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    32
   ];
baf0b4965963 examples from prov-dm
Tim L <lebot@rpi.edu>
parents:
diff changeset
    33
.
817
98e0ad1e8119 typed :e1 and :e2
Tim L <lebot@rpi.edu>
parents: 809
diff changeset
    34
:e1 a prov:Entity .
98e0ad1e8119 typed :e1 and :e2
Tim L <lebot@rpi.edu>
parents: 809
diff changeset
    35
:e2 a prov:Entity .