inverses.ttl and owl
authorTim L <lebot@rpi.edu>
Sat, 02 Jun 2012 00:07:49 -0400
changeset 3162 6765c1ff1adb
parent 3161 fd6bb32b2198
child 3163 318372af5976
inverses.ttl and owl
ontology/components/inverses.owl
ontology/components/inverses.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/inverses.owl	Sat Jun 02 00:07:49 2012 -0400
@@ -0,0 +1,162 @@
+<?xml version="1.0" encoding="utf-8"?>
+<rdf:RDF xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#">
+  <rdf:Description rdf:about="file:///Users/lebot/afrl/phd/prov-wg/hg/prov/ontology/components/inverses.ttl">
+    <prov:wasDerivedFrom rdf:resource="http://www.w3.org/TR/prov-o/prov.owl"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="file:///Users/lebot/afrl/phd/prov-wg/hg/prov/ontology/components/inverses.ttl">
+    <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="file:///Users/lebot/afrl/phd/prov-wg/hg/prov/ontology/components/inverses.ttl">
+    <owl:versionIRI rdf:resource="http://www.w3.org/TR/2012/WD-prov-o-2012MMDD"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasStartedBy">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#started"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#derivedByInsertionFrom">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#hadDerivationByInsertion"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#involvee">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#involvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#atLocation">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#locationOf"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#alternateOf">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadRole">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasRoleIn"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadPlan">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasPlanFor"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasInformedBy">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#informed"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedAssociation">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#associatedActivity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedQuotation">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#quotedByEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#inserted">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasInsertedBy"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#specializationOf">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#generalizationOf"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadUsage">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasUsedInDerivation"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasQuotedFrom">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasQuotedBy"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#derivedByRemovalFrom">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#hadDerivationByRemoval"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedUsage">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#consumingActivity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#actedOnBehalfOf">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#responsibleFor"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedStart">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#startedActivity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedCommunication">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#informedActivity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#involved">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasInvolvedWith"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#member">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#inMembership"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInsertion">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#insertedToDictionary"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#membership">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#membershipOf"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#entity">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#entityInvolvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRevision">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#revisedEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#used">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasUsedBy"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#tracedTo">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#tracedFrom"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedEnd">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#endedActivity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasInvalidatedBy">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#invalidated"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasAssociatedWith">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasAssociateFor"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#agent">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#agentInvolvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadOriginalSource">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasOriginalSourceOf"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedDelegation">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#responsibleAgent"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#activity">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#activityInvolvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#generated">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasGeneratedBy"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedGeneration">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#generatedEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedTrace">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#tracedEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#contributed"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadGeneration">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#generatedAsDerivation"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedRemoval">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#removedFromDictionary"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#hadDerivation"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasRevisionOf">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#hadRevision"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasEndedBy">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#ended"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedDerivation">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#derivedEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#hadActivity">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasActivityOfInvolvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#wasGeneratedBy">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#generated"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedAttribution">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#attributedEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#dictionary">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#dictionaryInvolvement"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedSource">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#sourcingEntity"/>
+  </rdf:Description>
+  <rdf:Description rdf:about="http://www.w3.org/ns/prov#pairValue">
+    <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#valueOf"/>
+  </rdf:Description>
+</rdf:RDF>
--- a/ontology/components/inverses.ttl	Fri Jun 01 23:54:37 2012 -0400
+++ b/ontology/components/inverses.ttl	Sat Jun 02 00:07:49 2012 -0400
@@ -1,14 +1,60 @@
-@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
-@prefix owl:     <http://www.w3.org/2002/07/owl#> .
-@prefix time:    <http://www.w3.org/2006/time#> .
-@prefix dcterms: <http://purl.org/dc/terms/> .
-@prefix skos:    <http://www.w3.org/2008/05/skos#> .
-@prefix prov:    <http://www.w3.org/ns/prov#> .
-@prefix :        <#> .
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
 
-prov:hadActivity owl:inverseOf prov:hadQualifiedAssociation .
+<> prov:wasDerivedFrom <http://www.w3.org/TR/prov-o/prov.owl>;
+   rdfs:seeAlso        <http://www.w3.org/TR/prov-o/#names-of-inverse-properties>;
+   owl:versionIRI      <http://www.w3.org/TR/2012/WD-prov-o-2012MMDD> .
 
-prov:hadDerivation owl:inverseOf prov:wasDerivedFrom .
-prov:wasUsedBy     owl:inverseOf prov:used .
+prov:wasStartedBy owl:inverseOf prov:started .
+prov:derivedByInsertionFrom owl:inverseOf prov:hadDerivationByInsertion .
+prov:involvee owl:inverseOf prov:involvement .
+prov:atLocation owl:inverseOf prov:locationOf .
+prov:alternateOf owl:inverseOf prov:alternateOf .
+prov:hadRole owl:inverseOf prov:wasRoleIn .
+prov:hadPlan owl:inverseOf prov:wasPlanFor .
+prov:wasInformedBy owl:inverseOf prov:informed .
+prov:qualifiedAssociation owl:inverseOf prov:associatedActivity .
+prov:qualifiedQuotation owl:inverseOf prov:quotedByEntity .
+prov:inserted owl:inverseOf prov:wasInsertedBy .
+prov:specializationOf owl:inverseOf prov:generalizationOf .
+prov:hadUsage owl:inverseOf prov:wasUsedInDerivation .
+prov:wasQuotedFrom owl:inverseOf prov:wasQuotedBy .
+prov:derivedByRemovalFrom owl:inverseOf prov:hadDerivationByRemoval .
+prov:qualifiedUsage owl:inverseOf prov:consumingActivity .
+prov:actedOnBehalfOf owl:inverseOf prov:responsibleFor .
+prov:qualifiedStart owl:inverseOf prov:startedActivity .
+prov:qualifiedCommunication owl:inverseOf prov:informedActivity .
+prov:involved owl:inverseOf prov:wasInvolvedWith .
+prov:member owl:inverseOf prov:inMembership .
+prov:qualifiedInsertion owl:inverseOf prov:insertedToDictionary .
+prov:membership owl:inverseOf prov:membershipOf .
+prov:entity owl:inverseOf prov:entityInvolvement .
+prov:qualifiedRevision owl:inverseOf prov:revisedEntity .
+prov:used owl:inverseOf prov:wasUsedBy .
+prov:tracedTo owl:inverseOf prov:tracedFrom .
+prov:qualifiedEnd owl:inverseOf prov:endedActivity .
+prov:wasInvalidatedBy owl:inverseOf prov:invalidated .
+prov:wasAssociatedWith owl:inverseOf prov:wasAssociateFor .
+prov:agent owl:inverseOf prov:agentInvolvement .
+prov:hadOriginalSource owl:inverseOf prov:wasOriginalSourceOf .
+prov:qualifiedDelegation owl:inverseOf prov:responsibleAgent .
+prov:activity owl:inverseOf prov:activityInvolvement .
+prov:generated owl:inverseOf prov:wasGeneratedBy .
+prov:qualifiedGeneration owl:inverseOf prov:generatedEntity .
+prov:qualifiedTrace owl:inverseOf prov:tracedEntity .
+prov:wasAttributedTo owl:inverseOf prov:contributed .
+prov:hadGeneration owl:inverseOf prov:generatedAsDerivation .
+prov:qualifiedRemoval owl:inverseOf prov:removedFromDictionary .
+prov:wasDerivedFrom owl:inverseOf prov:hadDerivation .
+prov:wasRevisionOf owl:inverseOf prov:hadRevision .
+prov:wasEndedBy owl:inverseOf prov:ended .
+prov:qualifiedDerivation owl:inverseOf prov:derivedEntity .
+prov:hadActivity owl:inverseOf prov:wasActivityOfInvolvement .
+prov:wasGeneratedBy owl:inverseOf prov:generated .
+prov:qualifiedAttribution owl:inverseOf prov:attributedEntity .
+prov:dictionary owl:inverseOf prov:dictionaryInvolvement .
+prov:qualifiedSource owl:inverseOf prov:sourcingEntity .
+prov:pairValue owl:inverseOf prov:valueOf .