Incorporate ontology-review changes to CONFIDENCE

ge-high-assurance · Jan 8, 2021 · fa603aa · fa603aa
1 parent 32681ed
commit fa603aa
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 24 deletions.
diff --git a/RACK-Ontology/OwlModels/CONFIDENCE.owl b/RACK-Ontology/OwlModels/CONFIDENCE.owl
@@ -16,21 +16,6 @@
     <owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
     <rdfs:comment xml:lang="en">This ontology was created from a SADL file 'CONFIDENCE.sadl' and should not be directly edited.</rdfs:comment>
   </owl:Ontology>
-  <rdfs:Datatype rdf:ID="Probability">
-    <owl:equivalentClass>
-      <rdfs:Datatype>
-        <owl:withRestrictions rdf:parseType="Collection">
-          <rdf:Description>
-            <xsd:maxInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
-            >1</xsd:maxInclusive>
-            <xsd:minInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
-            >0</xsd:minInclusive>
-          </rdf:Description>
-        </owl:withRestrictions>
-        <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
-      </rdfs:Datatype>
-    </owl:equivalentClass>
-  </rdfs:Datatype>
   <owl:Class rdf:ID="CONFIDENCE_ASSESSMENT">
     <rdfs:subClassOf>
       <owl:Restriction>
@@ -59,6 +44,15 @@
         </owl:onProperty>
       </owl:Restriction>
     </rdfs:subClassOf>
+    <rdfs:subClassOf>
+      <owl:Restriction>
+        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
+        >1</owl:maxCardinality>
+        <owl:onProperty>
+          <owl:ObjectProperty rdf:ID="assesses"/>
+        </owl:onProperty>
+      </owl:Restriction>
+    </rdfs:subClassOf>
     <rdfs:comment xml:lang="en">Superclass for confidence assessments over some other data in the ontology.</rdfs:comment>
     <rdfs:subClassOf rdf:resource="PROV-S#THING"/>
   </owl:Class>
@@ -70,8 +64,8 @@
     <rdfs:comment xml:lang="en">A belief-disbelief-uncertainty confidence assessment, c.f. Subjective Logic. belief, disbelief, and uncertainty should sum to 1</rdfs:comment>
     <rdfs:subClassOf rdf:resource="#CONFIDENCE_ASSESSMENT"/>
   </owl:Class>
-  <owl:ObjectProperty rdf:ID="assesses">
-    <rdfs:subPropertyOf rdf:resource="PROV-S#wasDerivedFrom"/>
+  <owl:ObjectProperty rdf:about="#assesses">
+    <rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
     <rdfs:comment xml:lang="en">ENTITY(s) whose confidence is assessed</rdfs:comment>
     <rdfs:range rdf:resource="PROV-S#ENTITY"/>
     <rdfs:domain rdf:resource="#CONFIDENCE_ASSESSMENT"/>

diff --git a/RACK-Ontology/ontology/CONFIDENCE.sadl b/RACK-Ontology/ontology/CONFIDENCE.sadl
@@ -10,25 +10,31 @@
  * of the Defense Advanced Research Projects Agency (DARPA).
  */
 
+/************** edit history *****************
+  *
+  * dwa - 11 Nov 2020 - removed connection between 'assesses' and 'wasDerivedFrom'
+  * dwa - 11 Nov 2020 - removed 'createdBy' in favor of using the base class attribute 'wasGeneratedBy'
+  * dwa - 11 Nov 2020 - allowed NULL values in BDU attributes
+  * dwa - 11 Nov 2020 - removed 'performedBy' in favor of using base class attribute 'wasAssociatedWith'
+  */
+
 uri "http://arcos.rack/CONFIDENCE" alias CONFIDENCE.
 import "http://arcos.rack/PROV-S".
 
 
 CONFIDENCE_ASSESSMENT (note "Superclass for confidence assessments over some other data in the ontology.") is a type of THING.
 
     assesses (note "ENTITY(s) whose confidence is assessed") describes CONFIDENCE_ASSESSMENT with values of type ENTITY.
-    assesses is a type of wasDerivedFrom.
+    assesses describes CONFIDENCE_ASSESSMENT with at most 1 value.
+    assesses is a type of wasImpactedBy.
 
     createBy (note "ACTIVITY(s) (e.g. ASSESSING_CONFIDENCE) that created this assessment.") describes CONFIDENCE_ASSESSMENT with values of type ACTIVITY.
     createBy is a type of wasGeneratedBy.
 
-Probability (note "probability value between 0 and 1") is a type of float [0,1].
-
 BDU_CONFIDENCE_ASSESSMENT (note "A belief-disbelief-uncertainty confidence assessment, c.f. Subjective Logic. belief, disbelief, and uncertainty should sum to 1") is a type of CONFIDENCE_ASSESSMENT.
-
-    belief (note "belief that an assessment is true") describes CONFIDENCE_ASSESSMENT with a single value of type float.
-    disbelief (note "belief that an assessment is false") describes CONFIDENCE_ASSESSMENT with a single value of type float.
-    uncertainty (note "uncommitted belief") describes CONFIDENCE_ASSESSMENT with a single value of type float.
+    belief (note "belief that an assessment is true") describes CONFIDENCE_ASSESSMENT with a single value of type float [0,1].
+    disbelief (note "belief that an assessment is false") describes CONFIDENCE_ASSESSMENT with a single value of type float [0,1].
+    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.