Corrected domain, range and cardinality

RACK-Ontology/OwlModels/AGENTS.owl

@@ -36,7 +36,9 @@
   <owl:Class rdf:ID="PERSON">
     <rdfs:subClassOf>
       <owl:Restriction>
-        <owl:someValuesFrom rdf:resource="PROV-S#AGENT"/>
+        <owl:onClass rdf:resource="PROV-S#AGENT"/>
+        <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#long"
+        >1</owl:maxQualifiedCardinality>
         <owl:onProperty>
           <owl:ObjectProperty rdf:ID="employedBy"/>
         </owl:onProperty>
@@ -48,6 +50,8 @@
   <owl:ObjectProperty rdf:about="#employedBy">
     <rdfs:subPropertyOf rdf:resource="PROV-S#actedOnBehalfOf"/>
     <rdfs:comment xml:lang="en">Relates people to the company they were acting on behalf of.</rdfs:comment>
+    <rdfs:range rdf:resource="PROV-S#AGENT"/>
+    <rdfs:domain rdf:resource="#PERSON"/>
   </owl:ObjectProperty>
   <owl:DatatypeProperty rdf:ID="emailAddress">
     <rdfs:comment xml:lang="en">Email address of person</rdfs:comment>

RACK-Ontology/OwlModels/PROV-S.owl

@@ -63,9 +63,11 @@
   <owl:Class rdf:about="#THING">
     <rdfs:subClassOf>
       <owl:Restriction>
-        <owl:someValuesFrom>
+        <owl:onClass>
           <owl:Class rdf:ID="ACTIVITY"/>
-        </owl:someValuesFrom>
+        </owl:onClass>
+        <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#long"
+        >1</owl:maxQualifiedCardinality>
         <owl:onProperty>
           <owl:ObjectProperty rdf:ID="dataInsertedBy"/>
         </owl:onProperty>

RACK-Ontology/ontology/AGENTS.sadl

@@ -20,6 +20,7 @@ import "http://arcos.rack/PROV-S".
  * dwa - 11 Nov 2020 - reduced cardinality of 'employedBy' to 1, because N seems ill-defined or unnecessary
  * dwa - 11 Nov 2020 - removed 'name' as a string property because it was pushed down into the AGENT base class - see edit in PROV-S.sadl
  * dwa - 11 Nov 2020 - added 'version' as a string property for TOOL agents
+ * am - 31 Aug 2021 - altered employedBy so that range and cardinality info is separated out; and use "1" instead of "one"
  */
 
 ORGANIZATION
@@ -29,11 +30,12 @@ ORGANIZATION
 PERSON (note "Person agents are people - alias for User")
   is a type of AGENT.
 
-emailAddress (note "Email address of person")
-  describes PERSON with values of type string.
+  emailAddress (note "Email address of person")
+    describes PERSON with values of type string.
 
- employedBy (note "Relates people to the company they were acting on behalf of.")
-  describes PERSON with at most one value of type AGENT.
+  employedBy (note "Relates people to the company they were acting on behalf of.")
+    describes PERSON with values of type AGENT.
+  employedBy describes PERSON with at most 1 value of type AGENT.
   employedBy is a type of actedOnBehalfOf.
 
 TOOL

RACK-Ontology/ontology/PROV-S.sadl

@@ -14,6 +14,7 @@
   *
   * dwa - 11 Nov 2020 - reduced cardinalities of properties in several places to 1, where N was ill-defined or unnecessary
   * dwa - 11 Nov 2020 - pushed 'name' as a string property down into the base AGENT class, because all agent subclasses appear amenable to having a name
+  * am - 31 Aug 2021 - altered dataInsertedBy to use "1" instead of "one"
   */
 
 uri "http://arcos.rack/PROV-S" alias provs 
@@ -27,7 +28,7 @@ THING (note "A piece of data stored in RACK") is a class.
 	description (note "A free-form, multi-line, human-readable explanation of this data element.") describes THING with values of type string.
 	description describes THING with at most 1 value.
 	dataInsertedBy (note "The activity that caused this data to be added to RACK") describes THING with values of type ACTIVITY.
-	dataInsertedBy describes THING with at most one value of type ACTIVITY.
+	dataInsertedBy describes THING with at most 1 value of type ACTIVITY.
 
 ENTITY (note "An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects; entities may be real or imaginary.")
 	is a type of THING.