Pre-deployment OWL-RL classification engine grounded in BFO 2020 (ISO/IEC 21838-2). Deterministic, audit-traceable assessments of EU AI Act Annex III high-risk conditions. RO, IAO, CCO as ROBOT BOT slim modules. Independent OWL 2 DL cross-check via HermiT in CI. Currently models Annex III 1(a) and 5(b).
sparql semantic-web shacl bfo cco applied-ontology owl-rl description-logic obo-foundry ai-governance eu-ai-act formal-ontology
-
Updated
Sep 10, 2026 - Python