From 9f8be278e76189890d82ccbe82e3614753dad78d Mon Sep 17 00:00:00 2001
From: Amosk21 <mosk.alex97@gmail.com>
Date: Mon, 5 Jan 2026 20:24:47 -0500
Subject: [PATCH 1/4] Update ARCO_core.ttl

BFO refactor: add HardwareComponent and derive system exposure via has_part
---
 03_TECHNICAL_CORE/ontology/ARCO_core.ttl | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
index a3c06da..a402963 100644
--- a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
+++ b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
@@ -12,16 +12,25 @@
   rdfs:comment "Core ontology with OWL restrictions for computable reasoning + ICE-to-Reality grounding (IAO is_about) in an NCOR realism style. Ontology IRI is https://arco.ai/ontology/core so imports can be resolved consistently." .
 
 #################################################################
-# 1) REALITY-SIDE UNIVERSALS (BFO)
+# 1) REALITY-SIDE UNIVERSALS (BFO) - UPDATED
 #################################################################
 
+:HardwareComponent rdf:type owl:Class ;
+  rdfs:label "Hardware Component" ;
+  rdfs:subClassOf bfo:0000030 ; # Object
+  rdfs:subClassOf [
+    a owl:Restriction ;
+    owl:onProperty ro:0000053 ; # bearer of
+    owl:someValuesFrom :CapabilityDisposition
+  ] .
+
 :System rdf:type owl:Class ;
   rdfs:label "AI System" ;
   rdfs:subClassOf bfo:0000027 ; # Object Aggregate
   rdfs:subClassOf [
     a owl:Restriction ;
-    owl:onProperty ro:0000053 ; # bearer of
-    owl:someValuesFrom :CapabilityDisposition
+    owl:onProperty bfo:0000051 ; # has part
+    owl:someValuesFrom :HardwareComponent
   ] .
 
 :CapabilityDisposition rdf:type owl:Class ;

From 41d65c489c4cf462a83b6013357a68989f1008df Mon Sep 17 00:00:00 2001
From: Amosk21 <mosk.alex97@gmail.com>
Date: Mon, 5 Jan 2026 20:25:28 -0500
Subject: [PATCH 2/4] Update ARCO_instances_sentinel.ttl

BFO refactor: move disposition bearer from system to component
---
 03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl
index 4c3eb66..ba9ed5b 100644
--- a/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl
+++ b/03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl
@@ -25,13 +25,21 @@
   iao:0000136 :BiometricIdentificationCapability . # is_about the Universal (class)
 
 #################################################################
-# 2) SYSTEM LAYER (reality-side particulars)
+# 2) SYSTEM LAYER (Refactored for BFO Compliance)
 #################################################################
 
+# The System (Aggregate) now aggregates parts, rather than bearing the risk directly.
 :Sentinel_ID_System rdf:type :System ;
   rdfs:label "Sentinel-ID System" ;
+  bfo:0000051 :Sentinel_Camera_01 . # has part
+
+# The Component (Object) is the physical bearer of the capability.
+:Sentinel_Camera_01 rdf:type :HardwareComponent ;
+  rdfs:label "Sentinel-ID Optical Sensor Array" ;
+  bfo:0000050 :Sentinel_ID_System ;         # part of
   ro:0000053 :Sentinel_FaceID_Disposition . # bearer of
 
+# The Disposition remains the same, but is now anchored correctly.
 :Sentinel_FaceID_Disposition rdf:type :BiometricIdentificationCapability ;
   rdfs:label "Sentinel Facial Recognition Disposition" .
 

From 6384550056ac0b4f504858dfe9df6eee7e986333 Mon Sep 17 00:00:00 2001
From: Amosk21 <mosk.alex97@gmail.com>
Date: Mon, 5 Jan 2026 20:26:26 -0500
Subject: [PATCH 3/4] Create detect_latent_risk.sparql

Add ASK query for component-bearer risk traversal
---
 03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql

diff --git a/03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql b/03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql
new file mode 100644
index 0000000..fdad3f2
--- /dev/null
+++ b/03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql
@@ -0,0 +1,9 @@
+PREFIX : <https://arco.ai/ontology/core#>
+PREFIX bfo: <http://purl.obolibrary.org/obo/BFO_>
+PREFIX ro: <http://purl.obolibrary.org/obo/RO_>
+
+ASK WHERE {
+  :Sentinel_ID_System bfo:0000051 ?component .
+  ?component ro:0000053 ?disposition .
+  ?disposition a :BiometricIdentificationCapability .
+}

From 792e8223e48dee5bd97b42cb47bb2a7cb38a5718 Mon Sep 17 00:00:00 2001
From: Amosk21 <mosk.alex97@gmail.com>
Date: Mon, 5 Jan 2026 21:39:53 -0500
Subject: [PATCH 4/4] Update ARCO_core.ttl

---
 03_TECHNICAL_CORE/ontology/ARCO_core.ttl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
index a402963..2777486 100644
--- a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
+++ b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl
@@ -100,3 +100,5 @@ bfo:0000055 rdfs:label "realizes" .
 bfo:0000051 rdfs:label "has part" .
 iao:0000136 rdfs:label "is about" .
 cco:has_output rdfs:label "has output" .
+bfo:0000030 rdfs:label "Object" .
+bfo:0000050 rdfs:label "part of" .