Skip to content

BFO refactor: component bears disposition; system derived via has_part #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Amosk21 wants to merge 4 commits into
base: main
Choose a base branch
from
Open

BFO refactor: component bears disposition; system derived via has_part #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
9f8be27
Update ARCO_core.ttl
Amosk21 Jan 6, 2026
41d65c4
Update ARCO_instances_sentinel.ttl
Amosk21 Jan 6, 2026
6384550
Create detect_latent_risk.sparql
Amosk21 Jan 6, 2026
792e822
Update ARCO_core.ttl
Amosk21 Jan 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 14 additions & 3 deletions 03_TECHNICAL_CORE/ontology/ARCO_core.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 ;
Expand Down Expand Up @@ -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" .
10 changes: 9 additions & 1 deletion 03_TECHNICAL_CORE/ontology/ARCO_instances_sentinel.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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" .

Expand Down
9 changes: 9 additions & 0 deletions 03_TECHNICAL_CORE/reasoning/detect_latent_risk.sparql
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 .
}