Insertion
Class
http://www.w3.org/ns/prov#Insertion
Class Hierarchy
- Influence (w3c-prov-o)
- ↳ EntityInfluence (w3c-prov-o)
- ↳ Derivation (w3c-prov-o)
- ↳ Insertion
Definition
Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs.
Properties
Category
collections
Component
collections
Relationships
Asserted object-property edges to other entities. Logical class axioms such as
owl:disjointWith are shown separately below.
constraints
dictionary-constraints
unqualifiedForm
derivedByInsertionFrom
Property Structure
1 · Object and Data Properties
rdfs:domain on this class or ancestor
| Property | Range | Description |
|---|---|---|
| dictionary | Dictionary | |
| insertedKeyEntityPair | KeyEntityPair | |
| entity inherited | Entity | |
| hadActivity inherited | Activity | The _optional_ Activity of an Influence, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInfluence (use prov:activity instead). |
| hadGeneration inherited | Generation | The _optional_ Generation involved in an Entity's Derivation. |
| hadUsage inherited | Usage | The _optional_ Usage involved in an Entity's Derivation. |
| influencer inherited | Thing | Subproperties of prov:influencer are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:wasInfluencedBy (e.g. prov:used, prov:wasGeneratedBy). prov:influencer is used much like rdf:object is used. |
2 · Referenced By
rdfs:range on this class or ancestor
| From | Property | Description |
|---|---|---|
| Dictionary | qualifiedInsertion | |
| Activity | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
| Agent | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
| Entity | qualifiedDerivation inherited | 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 ]. |
| Entity | qualifiedInfluence inherited | Because prov:qualifiedInfluence is a broad relation, the more specific relations (qualifiedCommunication, qualifiedDelegation, qualifiedEnd, etc.) should be used when applicable. |
@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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
prov:Insertion a owl:Class ;
rdfs:label "Insertion" ;
rdfs:isDefinedBy prov: ;
rdfs:subClassOf [ a owl:Restriction ;
owl:cardinality "1"^^xsd:int ;
owl:onProperty prov:dictionary ],
[ a owl:Restriction ;
owl:minCardinality "1"^^xsd:int ;
owl:onProperty prov:insertedKeyEntityPair ],
prov:Derivation ;
prov:category "collections" ;
prov:component "collections" ;
prov:constraints "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#dictionary-constraints"^^xsd:anyURI ;
prov:definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs." ;
prov:dm "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#term-dictionary-insertion"^^xsd:anyURI ;
prov:n "http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/#expression-dictionary-insertion"^^xsd:anyURI ;
prov:unqualifiedForm prov:derivedByInsertionFrom .