IRI:
http://www.w3.org/ns/prov-o-inverses#
Version IRI:
http://www.w3.org/ns/prov-o-inverses-20130430
Imported Ontologies:
http://www.w3.org/ns/prov-o# (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Object Properties
  2. Named Individuals
  3. Namespace Declarations

Object Properties

activityOfInfluenceop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#activityOfInfluence

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
activity

agentOfInfluenceop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#agentOfInfluence

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
agent

contributedop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#contributed

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was attributed to

endedop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#ended

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was ended by

entityOfInfluenceop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#entityOfInfluence

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
entity

generalizationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#generalizationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
specialization of

generatedAsDerivationop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#generatedAsDerivation

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had generation

hadDelegateop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#hadDelegate

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
acted on behalf of

hadDerivationop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#hadDerivation

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was derived from

hadInfluenceop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#hadInfluence

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
influencer

hadRevisionop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#hadRevision

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was revision of

informedop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#informed

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was informed by

locationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#locationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
at location

qualifiedAssociationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedAssociationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified association

qualifiedAttributionOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedAttributionOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified attribution

qualifiedCommunicationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedCommunicationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified communication

qualifiedDelegationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedDelegationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified delegation

qualifiedDerivationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedDerivationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified derivation

qualifiedEndOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedEndOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified end

qualifiedGenerationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedGenerationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified generation

qualifiedInfluenceOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedInfluenceOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified influence

qualifiedInvalidationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedInvalidationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified invalidation

qualifiedQuotationOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedQuotationOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified quotation

qualifiedSourceOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedSourceOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified primary source

qualifiedStartOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedStartOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified start

qualifiedUsingActivityop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#qualifiedUsingActivity

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified usage

quotedAsop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#quotedAs

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was quoted from

revisedEntityop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#revisedEntity

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
qualified revision

startedop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#started

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was started by

wasActivityOfInfluenceop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasActivityOfInfluence

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had activity

wasAssociateForop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasAssociateFor

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
was associated with

wasMemberOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasMemberOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had member

wasPlanOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasPlanOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had plan

wasPrimarySourceOfop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasPrimarySourceOf

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had primary source

wasRoleInop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasRoleIn

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had role

wasUsedByop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasUsedBy

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
used

wasUsedInDerivationop back to ToC or Object Property ToC

IRI: http://www.w3.org/ns/prov#wasUsedInDerivation

is defined by
http://www.w3.org/ns/prov-o-inverses#
is inverse of
had usage

Named Individuals

:ni back to ToC or Named Individual ToC

IRI: http://www.w3.org/ns/prov-o-inverses#

Namespace Declarations back to ToC

default namespace
http://www.w3.org/ns/prov-o-inverses#
ns
http://www.w3.org/ns/
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.