backfilling some uncommitted axiom components
authorTim L <lebot@rpi.edu>
Sun, 02 Oct 2011 19:11:40 -0400
changeset 433 47c30726ac1e
parent 432 e93b8bfc60f5
child 434 139fda079e76
backfilling some uncommitted axiom components
ontology/components/Account.ttl
ontology/components/hasLocation.ttl
ontology/components/lastModified.ttl
ontology/components/used.ttl
ontology/components/wasGeneratedBy.ttl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/Account.ttl	Sun Oct 02 19:11:40 2011 -0400
@@ -0,0 +1,28 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+@prefix sd:   <http://www.w3.org/ns/sparql-service-description#> .
+
+prov:Account
+   a owl:Class;
+   rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Account>;
+   rdfs:comment "Account requires that the asserter be identified."
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:onProperty prov:hasAsserter;
+      owl:minQualifiedCardinality 1;
+      owl:onClass    prov:Agent;
+   ];
+   rdfs:subClassOf [
+      a owl:Restriction;
+      owl:cardinality 1;
+      owl:onProperty prov:hasAssertions;
+   ];
+.
+
+prov:hasAssertions 
+   a owl:ObjectProperty;
+   rdfs:label "hasAssertions";
+   rdfs:comment "A reference to the assertions that an asserter has made. This could be to a named graph, a file, a URL, etc.";
+   rdfs:subPropertyOf prov:hasLocation;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/hasLocation.ttl	Sun Oct 02 19:11:40 2011 -0400
@@ -0,0 +1,3 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/lastModified.ttl	Sun Oct 02 19:11:40 2011 -0400
@@ -0,0 +1,9 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:lastModified
+   a owl:DatasetProperty;
+   rdfs:range xsd:dateTime;
+   rdfs:comment "The most recent modified time known. Should be constructed by selecting the maximum dcterms:modified value.";
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/used.ttl	Sun Oct 02 19:11:40 2011 -0400
@@ -0,0 +1,11 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:used
+   a owl:ObjectProperty, 
+     owl:IrreflexiveProperty, 
+     owl:AsymmetricProperty;
+   rdfs:domain prov:ProcessExecution;
+   rdfs:range  prov:Entity;
+.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasGeneratedBy.ttl	Sun Oct 02 19:11:40 2011 -0400
@@ -0,0 +1,9 @@
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
+
+prov:wasGeneratedBy
+   a owl:ObjectProperty;
+   rdfs:domain prov:Entity;
+   rdfs:range  prov:ProcessExecution;
+.