Onto-Security Checks: Semantic Ontology-Based Reasoning for Automated Architectural Security Verification. JETIA [Internet]. 2026 Oct. 19 [cited 2026 Oct. 22];12(61):1598-612. Available from: https://itegam-jetia.org/journal/index.php/jetia/article/view/4559