@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

prov:EmptyCollection a owl:Class,
        owl:NamedIndividual ;
    rdfs:label "EmptyCollection"@en ;
    rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
    rdfs:subClassOf prov:Collection ;
    prov:category "expanded" ;
    prov:component "collections" ;
    prov:definition "An empty collection is a collection without members."@en .