Remove aliases of wasAssociatedWith

ge-high-assurance · Nov 19, 2021 · 7d2fe55 · 7d2fe55
1 parent c06b30f
commit 7d2fe55
Show file tree

Hide file tree

Showing 15 changed files with 19 additions and 93 deletions.
diff --git a/RACK-Ontology/OwlModels/CONFIDENCE.owl b/RACK-Ontology/OwlModels/CONFIDENCE.owl
@@ -73,12 +73,6 @@
     <rdfs:range rdf:resource="PROV-S#ENTITY"/>
     <rdfs:domain rdf:resource="#CONFIDENCE_ASSESSMENT"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="performedBy">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">ENTITY responsible for producing the assessment, could be a person or a tool</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#ASSESSING_CONFIDENCE"/>
-  </owl:ObjectProperty>
   <owl:DatatypeProperty rdf:about="#belief">
     <rdfs:comment xml:lang="en">belief that an assessment is true</rdfs:comment>
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>

diff --git a/RACK-Ontology/OwlModels/HAZARD.owl b/RACK-Ontology/OwlModels/HAZARD.owl
@@ -62,12 +62,6 @@
     <rdfs:comment xml:lang="en">ACTIVITY that identifies potential sources of HAZARD whose risk must be evaluated</rdfs:comment>
     <rdfs:subClassOf rdf:resource="PROV-S#ACTIVITY"/>
   </owl:Class>
-  <owl:ObjectProperty rdf:ID="author">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">AGENT(s) who work on this ACTIVITY</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#HAZARD_IDENTIFICATION"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="source">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
     <rdfs:comment xml:lang="en">ENTITY(s) that participate in causing this HAZARD</rdfs:comment>

diff --git a/RACK-Ontology/OwlModels/PROV-S.owl b/RACK-Ontology/OwlModels/PROV-S.owl
@@ -164,7 +164,7 @@
     <rdfs:domain rdf:resource="#ENTITY"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="wasAssociatedWith">
-    <rdfs:comment xml:lang="en">An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity.</rdfs:comment>
+    <rdfs:comment xml:lang="en">An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity.</rdfs:comment>
     <rdfs:range rdf:resource="#AGENT"/>
     <rdfs:domain rdf:resource="#ACTIVITY"/>
   </owl:ObjectProperty>

diff --git a/RACK-Ontology/OwlModels/REQUIREMENTS.owl b/RACK-Ontology/OwlModels/REQUIREMENTS.owl
@@ -40,12 +40,6 @@
     <rdfs:range rdf:resource="PROV-S#ENTITY"/>
     <rdfs:domain rdf:resource="#REQUIREMENT"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="author">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">AGENT(s) responsible for producing a REQUIREMENT</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#REQUIREMENT_DEVELOPMENT"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="governedBy">
     <rdfs:subPropertyOf rdf:resource="PROV-S#used"/>
     <rdfs:comment xml:lang="en">ENTITY(s) (e.g. REQUIREMENTS, any sort of document) used during this ACTIVITY</rdfs:comment>

diff --git a/RACK-Ontology/OwlModels/SOFTWARE.owl b/RACK-Ontology/OwlModels/SOFTWARE.owl
@@ -96,22 +96,17 @@
     <rdfs:range rdf:resource="PROV-S#ENTITY"/>
     <rdfs:domain rdf:resource="#CODE_DEVELOPMENT"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="instantiates">
-    <rdfs:comment xml:lang="en">What logical component (system) does this physical component (code) instantiate or implement?</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#ENTITY"/>
-    <rdfs:domain rdf:resource="#SWCOMPONENT"/>
-  </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:about="#componentType">
-    <rdfs:comment xml:lang="en">Type of component</rdfs:comment>
-    <rdfs:range rdf:resource="#COMPONENT_TYPE"/>
-    <rdfs:domain rdf:resource="#SWCOMPONENT"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="compiledBy">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
     <rdfs:comment xml:lang="en">The tool that performed the compilation</rdfs:comment>
     <rdfs:range rdf:resource="AGENTS#TOOL"/>
     <rdfs:domain rdf:resource="#COMPILE"/>
   </owl:ObjectProperty>
+  <owl:ObjectProperty rdf:ID="instantiates">
+    <rdfs:comment xml:lang="en">What logical component (system) does this physical component (code) instantiate or implement?</rdfs:comment>
+    <rdfs:range rdf:resource="PROV-S#ENTITY"/>
+    <rdfs:domain rdf:resource="#SWCOMPONENT"/>
+  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="step">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasInformedBy"/>
     <rdfs:comment xml:lang="en">A BUILD may be comprised of any number of sub-ACTIVITY(s)</rdfs:comment>
@@ -129,19 +124,22 @@
     <rdfs:range rdf:resource="AGENTS#TOOL"/>
     <rdfs:domain rdf:resource="#PACKAGE"/>
   </owl:ObjectProperty>
+  <owl:ObjectProperty rdf:about="#componentType">
+    <rdfs:comment xml:lang="en">Type of component</rdfs:comment>
+    <rdfs:range rdf:resource="#COMPONENT_TYPE"/>
+    <rdfs:domain rdf:resource="#SWCOMPONENT"/>
+  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="#performedBy">
     <rdfs:comment xml:lang="en">AGENT(s) (e.g. PACKAGER) performing the packaging</rdfs:comment>
-    <rdfs:comment xml:lang="en">AGENT(s) (e.g. COMPILER) performing the compilation</rdfs:comment>
     <rdfs:domain>
       <owl:Class>
         <owl:unionOf rdf:parseType="Collection">
-          <owl:Class rdf:about="#CODE_GEN"/>
           <owl:Class rdf:about="#COMPILE"/>
           <owl:Class rdf:about="#PACKAGE"/>
         </owl:unionOf>
       </owl:Class>
     </rdfs:domain>
-    <rdfs:comment xml:lang="en">AGENT(s) (e.g. CODE_GENERATOR) generating the code</rdfs:comment>
+    <rdfs:comment xml:lang="en">AGENT(s) (e.g. COMPILER) performing the compilation</rdfs:comment>
     <rdfs:range rdf:resource="PROV-S#AGENT"/>
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
   </owl:ObjectProperty>
@@ -151,12 +149,6 @@
     <rdfs:range rdf:resource="FILE#FILE"/>
     <rdfs:domain rdf:resource="#COMPILE"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="author">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">AGENT(s) who participated in this ACTIVITY</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#CODE_DEVELOPMENT"/>
-  </owl:ObjectProperty>
   <owl:DatatypeProperty rdf:ID="valueType">
     <rdfs:comment xml:lang="en">The type of this value, if applicable (e.g. for functions or variables).</rdfs:comment>
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>

diff --git a/RACK-Ontology/OwlModels/SYSTEM.owl b/RACK-Ontology/OwlModels/SYSTEM.owl
@@ -43,6 +43,10 @@
     <rdfs:comment xml:lang="en">SYSTEMs classify logical parts of the whole system being developed</rdfs:comment>
     <rdfs:subClassOf rdf:resource="PROV-S#ENTITY"/>
   </owl:Class>
+  <owl:Class rdf:ID="OP_PROCEDURE">
+    <rdfs:comment xml:lang="en">system operational procedures employed, e.g. going through a checklist, limiting people near runways, etc.</rdfs:comment>
+    <rdfs:subClassOf rdf:resource="DOCUMENT#PROCEDURE"/>
+  </owl:Class>
   <owl:Class rdf:ID="INTERFACE">
     <rdfs:subClassOf>
       <owl:Restriction>
@@ -56,10 +60,6 @@
     <rdfs:comment xml:lang="en">INTERFACEs describe directed connections between a SYSTEM providing what another SYSTEM requires</rdfs:comment>
     <rdfs:subClassOf rdf:resource="PROV-S#ENTITY"/>
   </owl:Class>
-  <owl:Class rdf:ID="OP_PROCEDURE">
-    <rdfs:comment xml:lang="en">system operational procedures employed, e.g. going through a checklist, limiting people near runways, etc.</rdfs:comment>
-    <rdfs:subClassOf rdf:resource="DOCUMENT#PROCEDURE"/>
-  </owl:Class>
   <owl:ObjectProperty rdf:ID="provides">
     <rdfs:comment xml:lang="en">List of entities that this SYSTEM provides to others</rdfs:comment>
     <rdfs:range rdf:resource="#FUNCTION"/>
@@ -92,17 +92,6 @@
     <rdfs:range rdf:resource="#FUNCTION"/>
     <rdfs:domain rdf:resource="#SYSTEM"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="developedBy">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">Organization that is responsible for producing a system</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#SYSTEM_DEVELOPMENT"/>
-  </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="identifiedBy">
-    <rdfs:comment xml:lang="en">ACTIVITY out of which this INTERFACE was identified</rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#ACTIVITY"/>
-    <rdfs:domain rdf:resource="#INTERFACE"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="destination">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
     <rdfs:comment xml:lang="en">SYSTEM that requires what the INTERFACE offers</rdfs:comment>

diff --git a/RACK-Ontology/OwlModels/TESTING.owl b/RACK-Ontology/OwlModels/TESTING.owl
@@ -61,23 +61,12 @@
     <rdfs:comment xml:lang="en">ACTIVITY of performing a TEST and record its corresponding TEST_RESULT</rdfs:comment>
     <rdfs:subClassOf rdf:resource="PROV-S#ACTIVITY"/>
   </owl:Class>
-  <owl:ObjectProperty rdf:ID="developedBy">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:comment xml:lang="en">Entity that is responsible for producing a test, could be a person or a tool. </rdfs:comment>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#TEST_DEVELOPMENT"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="verifies">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
     <rdfs:comment xml:lang="en">ENTITY(s) (e.g. REQUIREMENT) that this test verifies</rdfs:comment>
     <rdfs:range rdf:resource="PROV-S#ENTITY"/>
     <rdfs:domain rdf:resource="#TEST"/>
   </owl:ObjectProperty>
-  <owl:ObjectProperty rdf:ID="executedOn">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
-    <rdfs:range rdf:resource="PROV-S#AGENT"/>
-    <rdfs:domain rdf:resource="#TEST_EXECUTION"/>
-  </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="confirms">
     <rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
     <rdfs:comment xml:lang="en">Parent test(s) of this test result</rdfs:comment>

diff --git a/RACK-Ontology/ontology/CONFIDENCE.sadl b/RACK-Ontology/ontology/CONFIDENCE.sadl
@@ -34,6 +34,3 @@ BDU_CONFIDENCE_ASSESSMENT (note "A belief-disbelief-uncertainty confidence asses
     uncertainty (note "uncommitted belief") describes CONFIDENCE_ASSESSMENT with a single value of type float. // [0,1].
 
 ASSESSING_CONFIDENCE (note "ACTIVITY that establishes a CONFIDENCE_ASSESSMENT") is a type of ACTIVITY.
-
-    performedBy (note "ENTITY responsible for producing the assessment, could be a person or a tool") describes ASSESSING_CONFIDENCE with values of type AGENT.
-    performedBy is a type of wasAssociatedWith.
diff --git a/RACK-Ontology/ontology/HAZARD.sadl b/RACK-Ontology/ontology/HAZARD.sadl
@@ -51,6 +51,3 @@ HAZARD
 HAZARD_IDENTIFICATION
 	(note "ACTIVITY that identifies potential sources of HAZARD whose risk must be evaluated")
 	is a type of ACTIVITY.
-
-	H:author (note "AGENT(s) who work on this ACTIVITY") describes HAZARD_IDENTIFICATION with values of type AGENT.
-	H:author is a type of wasAssociatedWith.
diff --git a/RACK-Ontology/ontology/PROV-S.sadl b/RACK-Ontology/ontology/PROV-S.sadl
@@ -57,7 +57,7 @@ AGENT (note "An agent is something that bears some form of responsibility for an
 
 ACTIVITY (note "An activity is something that occurs over a period of time and acts upon or with entities; it may include consuming, processing, transforming, modifying, relocating, using, or generating entities.")
 	is a type of THING.
-	wasAssociatedWith (note "An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity. It further allows for a plan to be specified, which is the plan intended by the agent to achieve some goals in the context of this activity.") describes ACTIVITY with values of type AGENT.
+	wasAssociatedWith (note "An activity association is an assignment of responsibility to an agent for an activity, indicating that the agent had a role in the activity.") describes ACTIVITY with values of type AGENT.
 	wasInformedBy (note "a Communication, the exchange of some unspecified entity by two activities, one activity using some entity generated by the other.") describes ACTIVITY with values of type ACTIVITY.
 	startedAtTime (note "The time an activity was started") describes ACTIVITY with values of type dateTime.
 	startedAtTime describes ACTIVITY with at most 1 value.

diff --git a/RACK-Ontology/ontology/REQUIREMENTS.sadl b/RACK-Ontology/ontology/REQUIREMENTS.sadl
@@ -51,9 +51,6 @@ REQUIREMENT_DEVELOPMENT
 	(note "ACTIVITY that produces REQUIREMENTs")
 	is a type of ACTIVITY.
 
-	Rq:author (note "AGENT(s) responsible for producing a REQUIREMENT") describes REQUIREMENT_DEVELOPMENT with values of type AGENT.
-	Rq:author is a type of wasAssociatedWith.
-
 	Rq:referenced (note "Source materials (requirement and design docs) used during development") describes REQUIREMENT_DEVELOPMENT with values of type ENTITY.
 	Rq:referenced is a type of used.
 

diff --git a/RACK-Ontology/ontology/SOFTWARE.sadl b/RACK-Ontology/ontology/SOFTWARE.sadl
@@ -19,9 +19,6 @@ CODE_DEVELOPMENT
 	(note "An ACTIVITY that produces source code FILEs")
 	is a type of FILE_CREATION.
 
-    author (note "AGENT(s) who participated in this ACTIVITY") describes CODE_DEVELOPMENT with values of type AGENT.
-    author is a type of wasAssociatedWith.
-
     referenced (note "ENTITY(s) (e.g. REQUIREMENT) that were referenced during this ACTIVITY") describes CODE_DEVELOPMENT with values of type ENTITY.
     referenced is a type of used.
 
@@ -37,16 +34,14 @@ BUILD
 CODE_GEN
 	(note "ACTIVITY of running a CODE_GENERATOR to create source code FILEs")
 	is a type of FILE_CREATION.
-    sw:performedBy (note "AGENT(s) (e.g. CODE_GENERATOR) generating the code") describes CODE_GEN with values of type AGENT.
-    sw:performedBy is a type of wasAssociatedWith.
 
 COMPILE
 	(note "ACTIVITY of running a a COMPILER to produce executable and object FILEs")
 	is a type of FILE_CREATION.
+
     sw:performedBy (note "AGENT(s) (e.g. COMPILER) performing the compilation") describes COMPILE with values of type AGENT.
     sw:performedBy is a type of wasAssociatedWith.
 
-
     compiledBy (note "The tool that performed the compilation") describes COMPILE with values of type TOOL.
     compiledBy is a type of wasAssociatedWith.
 

diff --git a/RACK-Ontology/ontology/SYSTEM.sadl b/RACK-Ontology/ontology/SYSTEM.sadl
@@ -48,15 +48,10 @@ INTERFACE
 	destination (note "SYSTEM that requires what the INTERFACE offers") describes INTERFACE with values of type SYSTEM.
 	destination is a type of wasImpactedBy.
 
-	identifiedBy (note "ACTIVITY out of which this INTERFACE was identified") describes INTERFACE with values of type ACTIVITY.
-
 SYSTEM_DEVELOPMENT
 	(note "ACTIVITY relating to the creation of one or more some SYSTEMs")
 	is a type of ACTIVITY.
 
-	developedBy (note "Organization that is responsible for producing a system") describes SYSTEM_DEVELOPMENT with values of type AGENT.
-	developedBy is a type of wasAssociatedWith.
-
 FUNCTION
 	(note "defines functionality / capability")
 	is a type of ENTITY.

diff --git a/RACK-Ontology/ontology/TESTING.sadl b/RACK-Ontology/ontology/TESTING.sadl
@@ -46,13 +46,6 @@ TEST_DEVELOPMENT
 	(note "ACTIVITY of creating a TEST to participate in the evaluation of a requirement")
 	is a type of ACTIVITY.
 
-	developedBy (note "Entity that is responsible for producing a test, could be a person or a tool. ") describes TEST_DEVELOPMENT with values of type AGENT.
-	developedBy is a type of wasAssociatedWith.
-
 TEST_EXECUTION
 	(note "ACTIVITY of performing a TEST and record its corresponding TEST_RESULT")
 	is a type of ACTIVITY.
-
-	executedOn describes TEST_EXECUTION with values of type AGENT.
-	executedOn (note "AGENT(s) (e.g. some testing software/machine) running those tests").
-	executedOn is a type of wasAssociatedWith.
diff --git a/sadl-examples/Example.sadl b/sadl-examples/Example.sadl
@@ -93,7 +93,7 @@ DefineRequirements
          importing them into RACK. The requirement
          existed before the SADL writing started.")
   is a REQUIREMENT_DEVELOPMENT,
-  author Dave,
+  wasAssociatedWith Dave,
   startedAtTime "2020-11-06 12:34Z",
   dataInsertedBy WriteSomeSadl.