ontology/components/identifier/traffic-ticket.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 717 2b05e8b488c1
permissions -rw-r--r--
minor updates to address dong's comments
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .
@prefix foaf:     <#> .
@prefix material:     <#> .
@prefix nys:     <#> .
@prefix nysdot:     <#> .
@prefix people:     <#> .
@prefix amazon:     <#> .
@prefix vehicle:     <#> .
@prefix traffic:     <#> .
@prefix :     <#> .

:stuff_i_see_1
   a prov:Entity, material:Paper, nysdot:SpeedingTicket;
   nysdot:number "CYU-345";
   nysdot:date "Apr 4 2010";
   nysdot:officer  "Cooper Polce";
   nysdot:speed "47"; # Intentionally literal - this is the string on the paper.
   nysdot:limit "30";    #Whoazers!

   prov:wasGeneratedBy :stuff_i_did_2;
.

:stuff_i_did_2
      a prov:ProcessExecution, nysdot:TrafficStop;
      prov:used :stuff_i_see_3,
                :stuff_i_see_4,
                :stuff_i_see_5,
                :stuff_i_see_6;
.

:stuff_i_see_3
         a prov:Entity, foaf:Person, people:Male, nys:Driver;
         prov:wasComplementOf <http://tw.rpi.edu/instances/TimLebo>;
.
:stuff_i_see_4
         a prov:Entity, nysdot:Blue, nys:Vehicle;
         vehicle:vin "48474858583483834";
         prov:wasComplementOf <http://toyota.com/id/our-cars/vin/48474858583483834>;
.
:stuff_i_see_5
         a prov:Entity, prov:Controller, foaf:Person, nys:PoliceOfficer;
         prov:wasComplementOf <http://nysdot.ny.gov/id/officer/34593>;
.
:stuff_i_do_not_see_5
         a prov:Entity, amazon:radargun45, traffic:RadarGun;
.

<http://nysdot.ny.gov/id/officer/34593> a foaf:Person .
<http://tw.rpi.edu/instances/TimLebo> a foaf:Person .

vehicle:vin rdfs:subPropertyOf prov:identifier .
nysdot:number rdfs:subPropertyOf prov:identifier .

vehicle:vin a owl:inverseFunctionalProperty .
nysdot:number a owl:inverseFunctionalProperty .