http://www.w3.org/ns/prov#EmptyCollection
Instances of prov:EmptyCollection can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class prov:Collection | |||
| prov:hadMember | owl:ObjectProperty | prov:Entity | |
| From class prov:Entity | |||
| prov:specializationOf | owl:ObjectProperty | prov:Entity | |
| prov:wasRevisionOf | owl:ObjectProperty | A revision is a derivation that revises an entity into a revised version. | prov:Entity |
| prov:generatedAtTime | owl:DatatypeProperty | The time at which an entity was completely created and is available for use. | xsd:dateTime |
| prov:invalidatedAtTime | owl:DatatypeProperty | The time at which an entity was invalidated (i.e., no longer usable). | xsd:dateTime |
| prov:value | owl:DatatypeProperty | owl:Thing | |
| prov:alternateOf | owl:ObjectProperty | prov:Entity | |
| prov:hadPrimarySource | owl:ObjectProperty | prov:Entity | |
| prov:qualifiedAttribution | owl:ObjectProperty | If this Entity prov:wasAttributedTo Agent :ag, then it can qualify how it was influenced using prov:qualifiedAttribution [ a prov:Attribution; prov:agent :ag; :foo :bar ]. | prov:Attribution |
| prov:qualifiedDerivation | owl:ObjectProperty | If this Entity prov:wasDerivedFrom Entity :e, then it can qualify how it was derived using prov:qualifiedDerivation [ a prov:Derivation; prov:entity :e; :foo :bar ]. | prov:Derivation |
| prov:qualifiedGeneration | owl:ObjectProperty | If this Activity prov:generated Entity :e, then it can qualify how it performed the Generation using prov:qualifiedGeneration [ a prov:Generation; prov:entity :e; :foo :bar ]. | prov:Generation |
| prov:qualifiedInvalidation | owl:ObjectProperty | If this Entity prov:wasInvalidatedBy Activity :a, then it can qualify how it was invalidated using prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :a; :foo :bar ]. | prov:Invalidation |
| prov:qualifiedPrimarySource | owl:ObjectProperty | If this Entity prov:hadPrimarySource Entity :e, then it can qualify how using prov:qualifiedPrimarySource [ a prov:PrimarySource; prov:entity :e; :foo :bar ]. | prov:PrimarySource |
| prov:qualifiedQuotation | owl:ObjectProperty | If this Entity prov:wasQuotedFrom Entity :e, then it can qualify how using prov:qualifiedQuotation [ a prov:Quotation; prov:entity :e; :foo :bar ]. | prov:Quotation |
| prov:qualifiedRevision | owl:ObjectProperty | If this Entity prov:wasRevisionOf Entity :e, then it can qualify how it was revised using prov:qualifiedRevision [ a prov:Revision; prov:entity :e; :foo :bar ]. | prov:Revision |
| prov:wasAttributedTo | owl:ObjectProperty | Attribution is the ascribing of an entity to an agent. | prov:Agent |
| prov:wasDerivedFrom | owl:ObjectProperty | The more specific subproperties of prov:wasDerivedFrom (i.e., prov:wasQuotedFrom, prov:wasRevisionOf, prov:hadPrimarySource) should be used when applicable. | prov:Entity |
| prov:wasGeneratedBy | owl:ObjectProperty | prov:Activity | |
| prov:wasInvalidatedBy | owl:ObjectProperty | prov:Activity | |
| prov:wasQuotedFrom | owl:ObjectProperty | An entity is derived from an original entity by copying, or 'quoting', some or all of it. | prov:Entity |
| From class owl:Thing | |||
| owl:versionInfo | owl:AnnotationProperty | owl:Thing | |
| prov:aq | owl:AnnotationProperty | owl:Thing | |
| prov:category | owl:AnnotationProperty | Classify prov-o terms into three categories, including 'starting-point', 'qualifed', and 'extended'. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. | owl:Thing |
| prov:component | owl:AnnotationProperty | Classify prov-o terms into six components according to prov-dm, including 'agents-responsibility', 'alternate', 'annotations', 'collections', 'derivations', and 'entities-activities'. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification. | owl:Thing |
| prov:constraints | owl:AnnotationProperty | A reference to the principal section of the PROV-CONSTRAINTS document that describes this concept. | owl:Thing |
| prov:definition | owl:AnnotationProperty | A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term. | owl:Thing |
| prov:dm | owl:AnnotationProperty | A reference to the principal section of the PROV-DM document that describes this concept. | owl:Thing |
| prov:editorialNote | owl:AnnotationProperty | A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data. | owl:Thing |
| prov:editorsDefinition | owl:AnnotationProperty | When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one. | owl:Thing |
| prov:influenced | owl:ObjectProperty | owl:Thing | |
| prov:inverse | owl:AnnotationProperty | PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used. | owl:Thing |
| prov:n | owl:AnnotationProperty | A reference to the principal section of the PROV-DM document that describes this concept. | owl:Thing |
| prov:order | owl:AnnotationProperty | The position that this OWL term should be listed within documentation. The scope of the documentation (e.g., among all terms, among terms within a prov:category, among properties applying to a particular class, etc.) is unspecified. | owl:Thing |
| prov:qualifiedForm | owl:AnnotationProperty | This annotation property links a subproperty of prov:wasInfluencedBy with the subclass of prov:Influence and the qualifying property that are used to qualify it. Example annotation: prov:wasGeneratedBy prov:qualifiedForm prov:qualifiedGeneration, prov:Generation . Then this unqualified assertion: :entity1 prov:wasGeneratedBy :activity1 . can be qualified by adding: :entity1 prov:qualifiedGeneration :entity1Gen . :entity1Gen a prov:Generation, prov:Influence; prov:activity :activity1; :customValue 1337 . Note how the value of the unqualified influence (prov:wasGeneratedBy :activity1) is mirrored as the value of the prov:activity (or prov:entity, or prov:agent) property on the influence class. | owl:Thing |
| prov:sharesDefinitionWith | owl:AnnotationProperty | owl:Thing | |
| prov:todo | owl:AnnotationProperty | owl:Thing | |
| prov:unqualifiedForm | owl:AnnotationProperty | Classes and properties used to qualify relationships are annotated with prov:unqualifiedForm to indicate the property used to assert an unqualified provenance relation. | owl:Thing |
| rdfs:comment | owl:AnnotationProperty | owl:Thing | |
| rdfs:isDefinedBy | owl:AnnotationProperty | owl:Thing | |
| rdfs:label | owl:AnnotationProperty | owl:Thing | |
| rdfs:seeAlso | owl:AnnotationProperty | owl:Thing | |
@prefix : <http://www.w3.org/ns/prov#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:EmptyCollection a owl:Class,
owl:NamedIndividual ;
rdfs:label "EmptyCollection"@en ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
rdfs:subClassOf :Collection ;
:category "expanded" ;
:component "collections" ;
:definition "An empty collection is a collection without members."@en .