Places
Home
Graphs
Prefixes
Amalgame
Alignment interface
Vocabulary browser
Admin
Users
Settings
Plugins
Statistics
Repository
Load local file
Load from HTTP
Load from library
Remove triples
Clear repository
Query
YASGUI SPARQL Editor
Simple Form
SWISH Prolog shell
Help
Documentation
Tutorial
Roadmap
HTTP Services
Login
Local view for "http://www.w3.org/ns/prov#Invalidation"
Predicate
Value (sorted:
none
)
rdf
:
type
owl
:
Class
1,2
rdfs
:
comment
"
An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ].
"
@
en
1,2
rdfs
:
isDefinedBy
prov
:
prov#
1,2
rdfs
:
label
"
Invalidation
"
1,2
rdfs
:
subClassOf
prov
:
ActivityInfluence
1,2
rdfs
:
subClassOf
prov
:
InstantaneousEvent
1,2
prov
:
category
"
qualified
"
1,2
prov
:
component
"
entities-activities
"
1,2
prov
:
constraints
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig
"
^^
xsd
:
anyURI
1,2
prov
:
dm
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation
"
^^
xsd
:
anyURI
1,2
prov
:
component
"
entities-activities
"
1,2
rdfs
:
subClassOf
prov
:
InstantaneousEvent
1,2
rdfs
:
isDefinedBy
prov
:
prov#
1,2
prov
:
category
"
qualified
"
1,2
prov
:
definition
"
Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation.
"
2,1
prov
:
definition
"
Invalidation is the start of the destruction, cessation, or expiry of an existing entity by an activity. The entity is no longer available for use (or further invalidation) after invalidation. Any generation or usage of an entity precedes its invalidation.
"
2,1
rdf
:
type
owl
:
Class
1,2
rdfs
:
subClassOf
prov
:
ActivityInfluence
1,2
prov
:
dm
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-Invalidation
"
^^
xsd
:
anyURI
1,2
prov
:
n
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Invalidation
"
^^
xsd
:
anyURI
2,1
prov
:
n
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html#expression-Invalidation
"
^^
xsd
:
anyURI
2,1
prov
:
constraints
"
http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#prov-dm-constraints-fig
"
^^
xsd
:
anyURI
1,2
rdfs
:
comment
"
An instance of prov:Invalidation provides additional descriptions about the binary prov:wasInvalidatedBy relation from an invalidated prov:Entity to the prov:Activity that invalidated it. For example, :uncracked_egg prov:wasInvalidatedBy :baking; prov:qualifiedInvalidation [ a prov:Invalidation; prov:activity :baking; :foo :bar ].
"
@
en
1,2
rdfs
:
label
"
Invalidation
"
1,2
prov
:
unqualifiedForm
prov
:
wasInvalidatedBy
2,1
prov
:
unqualifiedForm
prov
:
wasInvalidatedBy
2,1
Named graphs describing this resource:
1
file:///home/vdboer/src/ClioPatria/dive/cpack/prov/rdf/prov-o.ttl
2
file:///home/vdeboer/src/ClioPatria/dive/cpack/prov/rdf/prov-o.ttl
The resource appears as object in
5 triples
Context graph