diff --git a/03_TECHNICAL_CORE/ontology/ARCO_core.ttl b/03_TECHNICAL_CORE/ontology/ARCO_core.ttl index a3c06da..2777486 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 ; @@ -91,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" . 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" . 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 : +PREFIX bfo: +PREFIX ro: + +ASK WHERE { + :Sentinel_ID_System bfo:0000051 ?component . + ?component ro:0000053 ?disposition . + ?disposition a :BiometricIdentificationCapability . +}