onto v1.0

agr.ttl

@@ -1,12 +1,16 @@
 # baseURI: http://promsns.org/def/agr
 # imports: http://creativecommons.org/schema.rdf
 # imports: http://dublincore.org/2012/06/14/dcterms.rdf
+# imports: http://purl.org/dc/elements/1.1/
 # imports: http://www.w3.org/ns/org.ttl
 # imports: http://www.w3.org/ns/prov-o
 # imports: http://xmlns.com/foaf/spec/index.rdf
 # imports: https://www.w3.org/2009/08/skos-reference/skos.rdf
 
 @prefix : <http://promsns.org/def/agr#> .
+@prefix dc: <http://purl.org/dc/elements/1.1/> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
 @prefix org: <http://www.w3.org/ns/org#> .
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
 @prefix prov: <http://www.w3.org/ns/prov#> .
@@ -16,15 +20,20 @@
 
 <http://promsns.org/def/agr>
   rdf:type owl:Ontology ;
+  dc:creator "Nicholas Car"^^xsd:string ;
+  dcterms:created "2016-09-12"^^xsd:string ;
+  dcterms:creator :NicholasCar ;
+  dcterms:modified "2016-09-14"^^xsd:string ;
   rdfs:comment "This Agreements Ontology is designed to model 'agreements' which are social contracts that include licenses, laws, contracts, Memoranda of Understanding, standards and definitional metadata. Its purpose is to support data sharing by making explicit the relationships between agreements and data and agreements and Agents (people and organisations). Eventually it will also help with the interplay between different classes of agreements."^^xsd:string ;
   rdfs:label "Agreements ontology"^^xsd:string ;
   owl:imports <http://creativecommons.org/schema.rdf> ;
   owl:imports <http://dublincore.org/2012/06/14/dcterms.rdf> ;
+  owl:imports dc: ;
   owl:imports <http://www.w3.org/ns/org.ttl> ;
   owl:imports <http://www.w3.org/ns/prov-o> ;
   owl:imports <http://xmlns.com/foaf/spec/index.rdf> ;
   owl:imports <https://www.w3.org/2009/08/skos-reference/skos.rdf> ;
-  owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
+  owl:versionInfo "v1.0"^^xsd:string ;
 .
 :Agreement
   rdf:type owl:Class ;
@@ -54,6 +63,12 @@
   rdf:type :Imperative ;
   rdfs:label "MUST NOT"^^xsd:string ;
 .
+:NicholasCar
+  rdf:type foaf:Person ;
+  rdfs:label "Nicholas Car"^^xsd:string ;
+  foaf:mbox <nicholas.car@ga.gov.au> ;
+  foaf:name "Nicholas J. Car"^^xsd:string ;
+.
 :OPTIONAL
   rdf:type :Imperative ;
   rdfs:label "OPTIONAL"^^xsd:string ;
@@ -70,13 +85,23 @@
   rdf:type owl:Class ;
   rdfs:comment "This class is analagous to the Creative Commons ontology formerly available. According to CC, a Requirement is \"an action that may or may not be requested of you\". In this ontology, it is only \"an action that may be requested of you\""^^xsd:string ;
   rdfs:label "Requirement"^^xsd:string ;
-  rdfs:subClassOf prov:Plan ;
+  rdfs:subClassOf <http://www.w3.org/2004/02/skos/core#Concept> ;
   rdfs:subClassOf [
       rdf:type owl:Restriction ;
       owl:cardinality "1"^^xsd:nonNegativeInteger ;
       owl:onProperty :imperative ;
     ] ;
 .
+:RequirementResolution
+  rdf:type owl:Class ;
+  rdfs:label "Requirement Resolution"^^xsd:string ;
+  rdfs:subClassOf <http://www.w3.org/2004/02/skos/core#Concept> ;
+  rdfs:subClassOf [
+      rdf:type owl:Restriction ;
+      owl:cardinality "1"^^xsd:nonNegativeInteger ;
+      owl:onProperty :satisfies ;
+    ] ;
+.
 :SHALL
   rdf:type :Imperative ;
   rdfs:label "SHALL"^^xsd:string ;
@@ -112,3 +137,9 @@
   rdfs:label "name"^^xsd:string ;
   rdfs:range :Requirement ;
 .
+:satisfies
+  rdf:type owl:ObjectProperty ;
+  rdfs:domain :RequirementResolution ;
+  rdfs:label "satisfies"^^xsd:string ;
+  rdfs:range :Requirement ;
+.