Onto-Security Checks: Semantic Ontology-Based Reasoning for Automated Architectural Security Verification. JETIA. 2026;12(61):1598-1612. doi:10.5935/jetia.v12i61.4559