diff --git a/time/rdf/time-prov.ttl b/time/rdf/time-prov.ttl
index f2ef08c5..9a510d3e 100644
--- a/time/rdf/time-prov.ttl
+++ b/time/rdf/time-prov.ttl
@@ -31,18 +31,3 @@ prov:Activity
 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
-    ) ;
-.