syntax tweaks on OWL components
authorTim L <lebot@rpi.edu>
Tue, 04 Oct 2011 11:03:36 -0400
changeset 467 7124647307cd
parent 466 a799024ace03
child 468 15e3415f1026
syntax tweaks on OWL components
ontology/components/Account.ttl
ontology/components/EntityInRole.ttl
ontology/components/ProvenanceContainer.ttl
ontology/components/dependedOn.ttl
ontology/components/lastModified.ttl
ontology/components/wasEventuallyGeneratedBy.ttl
--- a/ontology/components/Account.ttl	Tue Oct 04 10:43:24 2011 -0400
+++ b/ontology/components/Account.ttl	Tue Oct 04 11:03:36 2011 -0400
@@ -6,7 +6,7 @@
 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:comment "Account requires that the asserter be identified.";
    rdfs:subClassOf [
       a owl:Restriction;
       owl:onProperty prov:hasAsserter;
--- a/ontology/components/EntityInRole.ttl	Tue Oct 04 10:43:24 2011 -0400
+++ b/ontology/components/EntityInRole.ttl	Tue Oct 04 11:03:36 2011 -0400
@@ -5,7 +5,7 @@
 
 prov:EntityInRole
    a owl:Class;
-   rdfs:label "EntityInRole"
+   rdfs:label "EntityInRole";
    rdfs:subClassOf prov:Entity;
    rdfs:comment "An Entity that assumes a Role within the context of this provenance assertion.";
    rdfs:subClassOf prov:Entity;
--- a/ontology/components/ProvenanceContainer.ttl	Tue Oct 04 10:43:24 2011 -0400
+++ b/ontology/components/ProvenanceContainer.ttl	Tue Oct 04 11:03:36 2011 -0400
@@ -6,7 +6,7 @@
 prov:ProvenanceContainer
    a owl:Class;
    rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#ProvenanceContainer>;
-   rdfs:comment "ProvenanceContainer cannot be asserted by an Agent; this is left to Account."
+   rdfs:comment "ProvenanceContainer cannot be asserted by an Agent; this is left to Account.";
    rdfs:comment "A provenance container is not an expression, but can be exploited to return all the provenance assertions in response to a request for the provenance of something.";
    rdfs:subClassOf [
       a owl:Restriction;
@@ -16,17 +16,17 @@
 .
 
 prov:JavaObjectInstance
-   a rdfs:subClassOf prov:ProvenanceContainer;
+   rdfs:subClassOf prov:ProvenanceContainer;
 .
 
 prov:WebService
-   a rdfs:subClassOf prov:ProvenanceContainer;
+   rdfs:subClassOf prov:ProvenanceContainer;
 .
 
 prov:File
-   a rdfs:subClassOf prov:ProvenanceContainer;
+   rdfs:subClassOf prov:ProvenanceContainer;
 .
 
 prov:NamedGraph
-   a rdfs:subClassOf prov:ProvenanceContainer;
+   rdfs:subClassOf prov:ProvenanceContainer;
 .
--- a/ontology/components/dependedOn.ttl	Tue Oct 04 10:43:24 2011 -0400
+++ b/ontology/components/dependedOn.ttl	Tue Oct 04 11:03:36 2011 -0400
@@ -7,8 +7,8 @@
    rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Derivation>;
    rdfs:domain prov:Entity;
    rdfs:range  prov:Entity; 
-   rdfs:comment "dependedOn(e2, e1) : e1 is an entity expression, which represents the characterized thing that the derivation __relies upon__. "
-   rdfs:comment "dependedOn(e2, e1) : e2 is entity expression, which represents the characterized thing that is the __result__ of the derivation;"
-   rdfs:comment "dependedOn(e2, e1) : :e2 prov:dependedOn :e1"
+   rdfs:comment "dependedOn(e2, e1) : e1 is an entity expression, which represents the characterized thing that the derivation __relies upon__. ";
+   rdfs:comment "dependedOn(e2, e1) : e2 is entity expression, which represents the characterized thing that is the __result__ of the derivation.";
+   rdfs:comment "dependedOn(e2, e1) : :e2 prov:dependedOn :e1";
    rdfs:comment "If dependedOn(e3,e2) and dependedOn(e2,e1) hold, then dependedOn(e3,e1) holds.";
 .
--- a/ontology/components/lastModified.ttl	Tue Oct 04 10:43:24 2011 -0400
+++ b/ontology/components/lastModified.ttl	Tue Oct 04 11:03:36 2011 -0400
@@ -1,5 +1,6 @@
 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
 @prefix prov: <http://dvcs.w3.org/hg/prov/file/tip/ontology/ProvenanceOntology.owl#> .
 
 prov:lastModified
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ontology/components/wasEventuallyGeneratedBy.ttl	Tue Oct 04 11:03:36 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:wasEventuallyGeneratedBy
+   a owl:ObjectProperty, owl:TransitiveProperty;
+.
+
+prov:wasGeneratedBy rdfs:subPropertyOf prov:wasEventuallyGeneratedBy .