@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 dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .

prov:wasSummaryOf
   a owl:ObjectProperty;
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#summary>;
   rdfs:comment "wasSummaryOf is a strict sub-relation of wasEventuallyDerivedFrom";
   rdfs:subPropertyOf prov:wasEventuallyDerivedFrom;
   rdfs:domain prov:Summary;
   rdfs:range  prov:Summarized;
. 

prov:Summary
   rdfs:subClassOf prov:Entity;
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#summary>;
.

prov:Summarized
   rdfs:subClassOf prov:Entity;
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#summary>;
.