--- a/dictionary/releases/NOTE-prov-dictionary-20130430/prov-dictionary.owl Thu Apr 25 18:14:09 2013 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,358 +0,0 @@
-<?xml version="1.0"?>
-
-
-<!DOCTYPE rdf:RDF [
- <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
- <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
- <!ENTITY xml "http://www.w3.org/XML/1998/namespace" >
- <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
- <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
-]>
-
-
-<rdf:RDF xmlns="http://www.w3.org/ns/prov#"
- xml:base="http://www.w3.org/ns/prov"
- xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
- xmlns:owl="http://www.w3.org/2002/07/owl#"
- xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- xmlns:xml="http://www.w3.org/XML/1998/namespace">
- <owl:Ontology rdf:about="http://www.w3.org/ns/prov-dictionary#">
- <rdfs:label xml:lang="en">W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension</rdfs:label>
- <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
-
-If you wish to make comments regarding this document, please send them to public-prov-comments@w3.org (subscribe public-prov-comments-request@w3.org, archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome.</rdfs:comment>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-dictionary/"/>
- <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov"/>
- </owl:Ontology>
-
- <owl:Ontology rdf:about="http://www.w3.org/ns/prov#"></owl:Ontology>
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
- // Object Properties
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
- <rdfs:label>derivedByInsertionFrom</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
- <definition>The dictionary was derived from the other by insertion. Can be qualified with prov:qualifiedInsertion, which shows details of the insertion, in particular the inserted key-entity pairs.</definition>
- <component>collections</component>
- <category>collections</category>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
- <rdfs:label>derivedByRemovalFrom</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
- <component>collections</component>
- <definition>The dictionary was derived from the other by removal. Can be qualified with prov:qualifiedRemoval, which shows details of the removal, in particular the removed keys.</definition>
- <category>collections</category>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#dictionary -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
- <rdfs:label>dictionary</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
- <category>collections</category>
- <component>collections</component>
- <definition>The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary.</definition>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
- </owl:ObjectProperty>
-
-
- <!-- http://www.w3.org/ns/prov#hadDictionaryMember -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadDictionaryMember">
- <rdfs:label>hadDictionaryMember</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
- <definition>Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members.</definition>
- <component>collections</component>
- <category>collections</category>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#insertedKeyEntityPair -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#insertedKeyEntityPair">
- <rdfs:label>insertedKeyEntityPair</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
- <component>collections</component>
- <category>collections</category>
- <definition>An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary.</definition>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#pairEntity -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairEntity">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdfs:label>pairKey</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
- <category>collections</category>
- <component>collections</component>
- <definition>The entity of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#qualifiedInsertion -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
- <rdfs:label>qualifiedInsertion</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
- <definition>prov:qualifiedInsertion shows the details of an insertion, in particular the inserted key-entity pairs.</definition>
- <category>collections</category>
- <component>collections</component>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
- </owl:ObjectProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
-
- <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
- <rdfs:label>qualifiedRemoval</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
- <category>collections</category>
- <component>collections</component>
- <definition>prov:qualifiedRemoval shows the details of a removal, in particular the removed keys.</definition>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
- </owl:ObjectProperty>
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
- // Data properties
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
-
-
- <!-- http://www.w3.org/ns/prov#pairKey -->
-
- <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
- <rdf:type rdf:resource="&owl;FunctionalProperty"/>
- <rdfs:label>pairKey</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
- <component>collections</component>
- <definition>The key of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
- <category>collections</category>
- <rdfs:range rdf:resource="&rdfs;Literal"/>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
- </owl:DatatypeProperty>
-
-
-
- <!-- http://www.w3.org/ns/prov#removedKey -->
-
- <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#removedKey">
- <rdfs:label>removedKey</rdfs:label>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
- <category>collections</category>
- <definition>The key removed in a Removal.</definition>
- <component>collections</component>
- <rdfs:range rdf:resource="&rdfs;Literal"/>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
- </owl:DatatypeProperty>
-
-
-
- <!--
- ///////////////////////////////////////////////////////////////////////////////////////
- //
- // Classes
- //
- ///////////////////////////////////////////////////////////////////////////////////////
- -->
-
-
- <!-- http://www.w3.org/ns/prov#Dictionary -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
- <rdfs:label>Dictionary</rdfs:label>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
- <definition>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</definition>
- <rdfs:comment>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.</rdfs:comment>
- <component>collections</component>
- <category>collections</category>
- <rdfs:comment>This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays.</rdfs:comment>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#EmptyDictionary -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyDictionary">
- <rdfs:label>Empty Dictionary</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EmptyCollection"/>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
- <component>collections</component>
- <definition>An empty dictionary (i.e. has no members).</definition>
- <category>collections</category>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#Insertion -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
- <rdfs:label>Insertion</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
- <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#insertedKeyEntityPair"/>
- <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
- <definition>Insertion is a derivation that describes the transformation of a dictionary into another, by insertion of one or more key-entity pairs.</definition>
- <category>collections</category>
- <component>collections</component>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#KeyEntityPair -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyEntityPair">
- <rdfs:label>Key-Entity Pair</rdfs:label>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairEntity"/>
- <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairKey"/>
- <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
- <definition>A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</definition>
- <component>collections</component>
- <category>collections</category>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- </owl:Class>
-
-
-
- <!-- http://www.w3.org/ns/prov#Removal -->
-
- <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
- <rdfs:label>Removal</rdfs:label>
- <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
- <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <rdfs:subClassOf>
- <owl:Restriction>
- <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#removedKey"/>
- <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
- </owl:Restriction>
- </rdfs:subClassOf>
- <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
- <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
- <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
- <category>collections</category>
- <definition>Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.</definition>
- <component>collections</component>
- <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
- <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
- </owl:Class>
-</rdf:RDF>
-
-
--- a/dictionary/releases/NOTE-prov-dictionary-20130430/prov-dictionary.ttl Thu Apr 25 18:14:09 2013 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,246 +0,0 @@
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix : <http://www.w3.org/ns/prov#> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-
-<http://www.w3.org/ns/prov-dictionary#>
- a owl:Ontology ;
- rdfs:comment """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
-
-If you wish to make comments regarding this document, please send them to public-prov-comments@w3.org (subscribe public-prov-comments-request@w3.org, archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome."""@en ;
- rdfs:label "W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension"@en ;
- rdfs:seeAlso <http://www.w3.org/TR/prov-dictionary/>, <http://www.w3.org/ns/prov> .
-
-<http://www.w3.org/ns/prov#>
- a owl:Ontology .
-
-:Dictionary
- a owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "Dictionary" ;
- :definition "A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary." ;
- rdfs:comment "This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays." ;
- rdfs:comment "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." ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:EmptyDictionary
- a owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "Empty Dictionary" ;
- :definition "An empty dictionary (i.e. has no members)." ;
- rdfs:subClassOf :EmptyCollection ;
- rdfs:subClassOf :Dictionary ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:KeyEntityPair
- a owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "Key-Entity Pair" ;
- :definition "A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity." ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :pairKey ;
- owl:cardinality "1"^^xsd:int
- ] ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :pairEntity ;
- owl:cardinality "1"^^xsd:int
- ] ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:Insertion
- a owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "Insertion" ;
- :definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs." ;
- rdfs:subClassOf :Derivation ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :dictionary ;
- owl:cardinality "1"^^xsd:int
- ] ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :insertedKeyEntityPair ;
- owl:minCardinality "1"^^xsd:int
- ] ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
- :unqualifiedForm :derivedByInsertionFrom .
-
-:Removal
- a owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "Removal" ;
- :definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs." ;
- rdfs:subClassOf :Derivation ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :dictionary ;
- owl:cardinality "1"^^xsd:int
- ] ;
- rdfs:subClassOf
- [ a owl:Restriction ;
- owl:onProperty :removedKey ;
- owl:minCardinality "1"^^xsd:int
- ] ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
- :unqualifiedForm :derivedByRemovalFrom .
-
-:dictionary
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "dictionary" ;
- :definition "The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary." ;
- rdfs:subPropertyOf :entity ;
- rdfs:domain :Insertion, :Removal ;
- rdfs:range :Dictionary ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:derivedByInsertionFrom
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "derivedByInsertionFrom" ;
- :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
- rdfs:subPropertyOf :wasDerivedFrom ;
- rdfs:domain :Dictionary ;
- rdfs:range :Dictionary ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:derivedByRemovalFrom
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "derivedByRemovalFrom" ;
- :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs." ;
- rdfs:subPropertyOf :wasDerivedFrom ;
- rdfs:domain :Dictionary ;
- rdfs:range :Dictionary ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:insertedKeyEntityPair
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "insertedKeyEntityPair" ;
- :definition "An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary." ;
- rdfs:domain :Insertion ;
- rdfs:range :KeyEntityPair ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:hadDictionaryMember
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "hadDictionaryMember" ;
- :definition "Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members." ;
- rdfs:domain :Dictionary ;
- rdfs:range :KeyEntityPair ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:pairKey
- a owl:DatatypeProperty, owl:FunctionalProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "pairKey" ;
- :definition "The key of a KeyEntityPair, which is an element of a prov:Dictionary." ;
- rdfs:domain :KeyEntityPair ;
- rdfs:range rdfs:Literal ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:pairEntity
- a owl:ObjectProperty, owl:FunctionalProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "pairKey" ;
- :definition "The value of a KeyEntityPair." ;
- rdfs:domain :KeyEntityPair ;
- rdfs:range :Entity ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:qualifiedInsertion
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "qualifiedInsertion" ;
- :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
- rdfs:subPropertyOf :qualifiedDerivation ;
- rdfs:domain :Dictionary ;
- rdfs:range :Insertion ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:qualifiedRemoval
- a owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "qualifiedRemoval" ;
- :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed keys." ;
- rdfs:subPropertyOf :qualifiedDerivation ;
- rdfs:domain :Dictionary ;
- rdfs:range :Removal ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
-
-:removedKey
- a owl:DatatypeProperty ;
- rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
- rdfs:label "removedKey" ;
- :definition "The key removed in a Removal." ;
- rdfs:domain :Removal ;
- rdfs:range rdfs:Literal ;
- :category "collections" ;
- :component "collections" ;
- :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
- :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
- :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/namespace/prov-dictionary.owl Thu Apr 25 18:16:12 2013 +0200
@@ -0,0 +1,358 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+ <!ENTITY xml "http://www.w3.org/XML/1998/namespace" >
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+]>
+
+
+<rdf:RDF xmlns="http://www.w3.org/ns/prov#"
+ xml:base="http://www.w3.org/ns/prov"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:owl="http://www.w3.org/2002/07/owl#"
+ xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:xml="http://www.w3.org/XML/1998/namespace">
+ <owl:Ontology rdf:about="http://www.w3.org/ns/prov-dictionary#">
+ <rdfs:label xml:lang="en">W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension</rdfs:label>
+ <rdfs:comment xml:lang="en">This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
+
+If you wish to make comments regarding this document, please send them to public-prov-comments@w3.org (subscribe public-prov-comments-request@w3.org, archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome.</rdfs:comment>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-dictionary/"/>
+ <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov"/>
+ </owl:Ontology>
+
+ <owl:Ontology rdf:about="http://www.w3.org/ns/prov#"></owl:Ontology>
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Object Properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
+ <rdfs:label>derivedByInsertionFrom</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>The dictionary was derived from the other by insertion. Can be qualified with prov:qualifiedInsertion, which shows details of the insertion, in particular the inserted key-entity pairs.</definition>
+ <component>collections</component>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
+ <rdfs:label>derivedByRemovalFrom</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <component>collections</component>
+ <definition>The dictionary was derived from the other by removal. Can be qualified with prov:qualifiedRemoval, which shows details of the removal, in particular the removed keys.</definition>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#dictionary -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#dictionary">
+ <rdfs:label>dictionary</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
+ <component>collections</component>
+ <definition>The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
+ </owl:ObjectProperty>
+
+
+ <!-- http://www.w3.org/ns/prov#hadDictionaryMember -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadDictionaryMember">
+ <rdfs:label>hadDictionaryMember</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <definition>Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members.</definition>
+ <component>collections</component>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#insertedKeyEntityPair -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#insertedKeyEntityPair">
+ <rdfs:label>insertedKeyEntityPair</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <component>collections</component>
+ <category>collections</category>
+ <definition>An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#pairEntity -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#pairEntity">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:label>pairKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <category>collections</category>
+ <component>collections</component>
+ <definition>The entity of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#qualifiedInsertion -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
+ <rdfs:label>qualifiedInsertion</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>prov:qualifiedInsertion shows the details of an insertion, in particular the inserted key-entity pairs.</definition>
+ <category>collections</category>
+ <component>collections</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
+ </owl:ObjectProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#qualifiedRemoval -->
+
+ <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
+ <rdfs:label>qualifiedRemoval</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
+ <component>collections</component>
+ <definition>prov:qualifiedRemoval shows the details of a removal, in particular the removed keys.</definition>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#qualifiedDerivation"/>
+ </owl:ObjectProperty>
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Data properties
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+
+
+ <!-- http://www.w3.org/ns/prov#pairKey -->
+
+ <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#pairKey">
+ <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+ <rdfs:label>pairKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <component>collections</component>
+ <definition>The key of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
+ <category>collections</category>
+ <rdfs:range rdf:resource="&rdfs;Literal"/>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
+ </owl:DatatypeProperty>
+
+
+
+ <!-- http://www.w3.org/ns/prov#removedKey -->
+
+ <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#removedKey">
+ <rdfs:label>removedKey</rdfs:label>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
+ <definition>The key removed in a Removal.</definition>
+ <component>collections</component>
+ <rdfs:range rdf:resource="&rdfs;Literal"/>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Removal"/>
+ </owl:DatatypeProperty>
+
+
+
+ <!--
+ ///////////////////////////////////////////////////////////////////////////////////////
+ //
+ // Classes
+ //
+ ///////////////////////////////////////////////////////////////////////////////////////
+ -->
+
+
+ <!-- http://www.w3.org/ns/prov#Dictionary -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#Dictionary">
+ <rdfs:label>Dictionary</rdfs:label>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
+ <definition>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</definition>
+ <rdfs:comment>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.</rdfs:comment>
+ <component>collections</component>
+ <category>collections</category>
+ <rdfs:comment>This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays.</rdfs:comment>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#EmptyDictionary -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#EmptyDictionary">
+ <rdfs:label>Empty Dictionary</rdfs:label>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EmptyCollection"/>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition</dm>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary</n>
+ <component>collections</component>
+ <definition>An empty dictionary (i.e. has no members).</definition>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#Insertion -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#Insertion">
+ <rdfs:label>Insertion</rdfs:label>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#insertedKeyEntityPair"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
+ <definition>Insertion is a derivation that describes the transformation of a dictionary into another, by insertion of one or more key-entity pairs.</definition>
+ <category>collections</category>
+ <component>collections</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#KeyEntityPair -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#KeyEntityPair">
+ <rdfs:label>Key-Entity Pair</rdfs:label>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairEntity"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#pairKey"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
+ <definition>A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</definition>
+ <component>collections</component>
+ <category>collections</category>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ </owl:Class>
+
+
+
+ <!-- http://www.w3.org/ns/prov#Removal -->
+
+ <owl:Class rdf:about="http://www.w3.org/ns/prov#Removal">
+ <rdfs:label>Removal</rdfs:label>
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#dictionary"/>
+ <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <rdfs:subClassOf>
+ <owl:Restriction>
+ <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#removedKey"/>
+ <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
+ </owl:Restriction>
+ </rdfs:subClassOf>
+ <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
+ <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
+ <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
+ <category>collections</category>
+ <definition>Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.</definition>
+ <component>collections</component>
+ <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
+ <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>
+ </owl:Class>
+</rdf:RDF>
+
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/namespace/prov-dictionary.ttl Thu Apr 25 18:16:12 2013 +0200
@@ -0,0 +1,246 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix : <http://www.w3.org/ns/prov#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<http://www.w3.org/ns/prov-dictionary#>
+ a owl:Ontology ;
+ rdfs:comment """This document is published by the Provenance Working Group (http://www.w3.org/2011/prov/wiki/Main_Page).
+
+If you wish to make comments regarding this document, please send them to public-prov-comments@w3.org (subscribe public-prov-comments-request@w3.org, archives http://lists.w3.org/Archives/Public/public-prov-comments/). All feedback is welcome."""@en ;
+ rdfs:label "W3C PROVenance Interchange Ontology (PROV-O) Dictionary Extension"@en ;
+ rdfs:seeAlso <http://www.w3.org/TR/prov-dictionary/>, <http://www.w3.org/ns/prov> .
+
+<http://www.w3.org/ns/prov#>
+ a owl:Ontology .
+
+:Dictionary
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Dictionary" ;
+ :definition "A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary." ;
+ rdfs:comment "This concept allows for the provenance of the dictionary, but also of its constituents to be expressed. Such a notion of dictionary corresponds to a wide variety of concrete data structures, such as a maps or associative arrays." ;
+ rdfs:comment "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." ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:EmptyDictionary
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Empty Dictionary" ;
+ :definition "An empty dictionary (i.e. has no members)." ;
+ rdfs:subClassOf :EmptyCollection ;
+ rdfs:subClassOf :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-conceptual-definition"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:KeyEntityPair
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Key-Entity Pair" ;
+ :definition "A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity." ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :pairKey ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :pairEntity ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:Insertion
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Insertion" ;
+ :definition "Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs." ;
+ rdfs:subClassOf :Derivation ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :dictionary ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :insertedKeyEntityPair ;
+ owl:minCardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
+ :unqualifiedForm :derivedByInsertionFrom .
+
+:Removal
+ a owl:Class ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "Removal" ;
+ :definition "Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs." ;
+ rdfs:subClassOf :Derivation ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :dictionary ;
+ owl:cardinality "1"^^xsd:int
+ ] ;
+ rdfs:subClassOf
+ [ a owl:Restriction ;
+ owl:onProperty :removedKey ;
+ owl:minCardinality "1"^^xsd:int
+ ] ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI ;
+ :unqualifiedForm :derivedByRemovalFrom .
+
+:dictionary
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "dictionary" ;
+ :definition "The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary." ;
+ rdfs:subPropertyOf :entity ;
+ rdfs:domain :Insertion, :Removal ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:derivedByInsertionFrom
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "derivedByInsertionFrom" ;
+ :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
+ rdfs:subPropertyOf :wasDerivedFrom ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:derivedByRemovalFrom
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "derivedByRemovalFrom" ;
+ :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs." ;
+ rdfs:subPropertyOf :wasDerivedFrom ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Dictionary ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:insertedKeyEntityPair
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "insertedKeyEntityPair" ;
+ :definition "An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary." ;
+ rdfs:domain :Insertion ;
+ rdfs:range :KeyEntityPair ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:hadDictionaryMember
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "hadDictionaryMember" ;
+ :definition "Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members." ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :KeyEntityPair ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:pairKey
+ a owl:DatatypeProperty, owl:FunctionalProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "pairKey" ;
+ :definition "The key of a KeyEntityPair, which is an element of a prov:Dictionary." ;
+ rdfs:domain :KeyEntityPair ;
+ rdfs:range rdfs:Literal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:pairEntity
+ a owl:ObjectProperty, owl:FunctionalProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "pairKey" ;
+ :definition "The value of a KeyEntityPair." ;
+ rdfs:domain :KeyEntityPair ;
+ rdfs:range :Entity ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:qualifiedInsertion
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "qualifiedInsertion" ;
+ :definition "The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs." ;
+ rdfs:subPropertyOf :qualifiedDerivation ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Insertion ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:qualifiedRemoval
+ a owl:ObjectProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "qualifiedRemoval" ;
+ :definition "The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed keys." ;
+ rdfs:subPropertyOf :qualifiedDerivation ;
+ rdfs:domain :Dictionary ;
+ rdfs:range :Removal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
+
+:removedKey
+ a owl:DatatypeProperty ;
+ rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
+ rdfs:label "removedKey" ;
+ :definition "The key removed in a Removal." ;
+ rdfs:domain :Removal ;
+ rdfs:range rdfs:Literal ;
+ :category "collections" ;
+ :component "collections" ;
+ :dm "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal"^^xsd:anyURI ;
+ :n "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal"^^xsd:anyURI ;
+ :constraints "http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints"^^xsd:anyURI .
\ No newline at end of file