time-prov.ttl

# baseURI: http://www.w3.org/2006/time/prov
# imports: http://www.w3.org/2006/time
# imports: http://www.w3.org/ns/prov-o#
# prefix: time-prov

@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix time-prov: <http://www.w3.org/2006/time/prov#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

time:inXSDDateTimeStamp
  rdfs:subPropertyOf time:inXSDDateTime ;
.
<http://www.w3.org/2006/time/prov>
  rdf:type owl:Ontology ;
  dc:creator "Simon J D Cox" ;
  dcterms:created "2017-04-13"^^xsd:date ;
  rdfs:comment "Alignment of the the W3C/OGC OWL-Time Ontology with the W3C PROV-O Ontology"@en ;
  rdfs:label "Alignment of OWL-Time with PROV-O"@en ;
  owl:imports <http://www.w3.org/2006/time> ;
  owl:imports <http://www.w3.org/ns/prov-o#> ;
.
prov:Activity
  rdfs:subClassOf time:TemporalEntity ;
.
prov:InstantaneousEvent
  rdfs:subClassOf time:Instant ;
.
prov:atTime
  rdfs:subPropertyOf time:inXSDDateTime ;
.
prov:endedAtTime
  owl:propertyChainAxiom (
      time:hasEnd
      time:inXSDDateTime
    ) ;
.
prov:startedAtTime
  owl:propertyChainAxiom (
      time:hasBeginning
      time:inXSDDateTime
    ) ;
.