W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension

Classes

Dictionary
Empty Dictionary
Insertion
Key-Entity Pair
Removal

Dictionary^c back to ToC or Class ToC

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

is defined by: http://www.w3.org/ns/prov#

A given dictionary forms a given structure for its members. A different structure (obtained either by insertion or removal of members) constitutes a different dictionary.

has sub-classes: Empty Dictionary^c
is in domain of: derivedByInsertionFrom^op, derivedByRemovalFrom^op, hadDictionaryMember^op, qualifiedInsertion^op, qualifiedRemoval^op
is in range of: derivedByInsertionFrom^op, derivedByRemovalFrom^op, dictionary^op

Empty Dictionary^c back to ToC or Class ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-classes: Dictionary^c; empty collection^c

Insertion^c back to ToC or Class ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-classes: derivation^c; insertedKeyEntityPair^op min 1; dictionary^op exactly 1
is in domain of: dictionary^op, insertedKeyEntityPair^op
is in range of: qualifiedInsertion^op

Key-Entity Pair^c back to ToC or Class ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-classes: pairKey^dp exactly 1; pairKey^op exactly 1
is in domain of: pairKey^op, pairKey^dp
is in range of: hadDictionaryMember^op, insertedKeyEntityPair^op

Removal^c back to ToC or Class ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-classes: derivation^c; dictionary^op exactly 1; removedKey^dp min 1
is in domain of: dictionary^op, removedKey^dp
is in range of: qualifiedRemoval^op

derivedByInsertionFrom^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-properties: was derived from^op
has domain: Dictionary^c
has range: Dictionary^c

derivedByRemovalFrom^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-properties: was derived from^op
has domain: Dictionary^c
has range: Dictionary^c

dictionary^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-properties: entity^op
has domain: Insertion^c; Removal^c
has range: Dictionary^c

hadDictionaryMember^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has domain: Dictionary^c
has range: Key-Entity Pair^c

insertedKeyEntityPair^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has domain: Insertion^c
has range: Key-Entity Pair^c

pairKey^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has characteristics: functional

has domain: Key-Entity Pair^c
has range: entity^c

qualifiedInsertion^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-properties: qualified derivation^op
has domain: Dictionary^c
has range: Insertion^c

qualifiedRemoval^op back to ToC or Object Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has super-properties: qualified derivation^op
has domain: Dictionary^c
has range: Removal^c

Data Properties

pairKey
removedKey

pairKey^dp back to ToC or Data Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has characteristics: functional

has domain: Key-Entity Pair^c
has range: literal

removedKey^dp back to ToC or Data Property ToC

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

is defined by: http://www.w3.org/ns/prov#

has domain: Removal^c
has range: literal

Annotation Properties

category
component
constraints
definition
dm
n
unqualified form

category^ap back to ToC or Annotation Property ToC

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

component^ap back to ToC or Annotation Property ToC

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

constraints^ap back to ToC or Annotation Property ToC

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

definition^ap back to ToC or Annotation Property ToC

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

dm^ap back to ToC or Annotation Property ToC

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

n^ap back to ToC or Annotation Property ToC

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

unqualified form^ap back to ToC or Annotation Property ToC

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

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

W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension

Abstract

Table of Content

Classes

Dictionary^c back to ToC or Class ToC

Empty Dictionary^c back to ToC or Class ToC

Insertion^c back to ToC or Class ToC

Key-Entity Pair^c back to ToC or Class ToC

Removal^c back to ToC or Class ToC

Object Properties

derivedByInsertionFrom^op back to ToC or Object Property ToC

derivedByRemovalFrom^op back to ToC or Object Property ToC

dictionary^op back to ToC or Object Property ToC

hadDictionaryMember^op back to ToC or Object Property ToC

insertedKeyEntityPair^op back to ToC or Object Property ToC

pairKey^op back to ToC or Object Property ToC

qualifiedInsertion^op back to ToC or Object Property ToC

qualifiedRemoval^op back to ToC or Object Property ToC

Data Properties

pairKey^dp back to ToC or Data Property ToC

removedKey^dp back to ToC or Data Property ToC

Annotation Properties

category^ap back to ToC or Annotation Property ToC

component^ap back to ToC or Annotation Property ToC

constraints^ap back to ToC or Annotation Property ToC

definition^ap back to ToC or Annotation Property ToC

dm^ap back to ToC or Annotation Property ToC

n^ap back to ToC or Annotation Property ToC

unqualified form^ap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension

Abstract

Table of Content

Classes

Dictionaryc back to ToC or Class ToC

Empty Dictionaryc back to ToC or Class ToC

Insertionc back to ToC or Class ToC

Key-Entity Pairc back to ToC or Class ToC

Removalc back to ToC or Class ToC

Object Properties

derivedByInsertionFromop back to ToC or Object Property ToC

derivedByRemovalFromop back to ToC or Object Property ToC

dictionaryop back to ToC or Object Property ToC

hadDictionaryMemberop back to ToC or Object Property ToC

insertedKeyEntityPairop back to ToC or Object Property ToC

pairKeyop back to ToC or Object Property ToC

qualifiedInsertionop back to ToC or Object Property ToC

qualifiedRemovalop back to ToC or Object Property ToC

Data Properties

pairKeydp back to ToC or Data Property ToC

removedKeydp back to ToC or Data Property ToC

Annotation Properties

categoryap back to ToC or Annotation Property ToC

componentap back to ToC or Annotation Property ToC

constraintsap back to ToC or Annotation Property ToC

definitionap back to ToC or Annotation Property ToC

dmap back to ToC or Annotation Property ToC

nap back to ToC or Annotation Property ToC

unqualified formap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

Dictionary^c back to ToC or Class ToC

Empty Dictionary^c back to ToC or Class ToC

Insertion^c back to ToC or Class ToC

Key-Entity Pair^c back to ToC or Class ToC

Removal^c back to ToC or Class ToC

derivedByInsertionFrom^op back to ToC or Object Property ToC

derivedByRemovalFrom^op back to ToC or Object Property ToC

dictionary^op back to ToC or Object Property ToC

hadDictionaryMember^op back to ToC or Object Property ToC

insertedKeyEntityPair^op back to ToC or Object Property ToC

pairKey^op back to ToC or Object Property ToC

qualifiedInsertion^op back to ToC or Object Property ToC

qualifiedRemoval^op back to ToC or Object Property ToC

pairKey^dp back to ToC or Data Property ToC

removedKey^dp back to ToC or Data Property ToC

category^ap back to ToC or Annotation Property ToC

component^ap back to ToC or Annotation Property ToC

constraints^ap back to ToC or Annotation Property ToC

definition^ap back to ToC or Annotation Property ToC

dm^ap back to ToC or Annotation Property ToC

n^ap back to ToC or Annotation Property ToC

unqualified form^ap back to ToC or Annotation Property ToC