From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance

TL;DR

This paper integrates the Robotic Service Ontology (RoSO) with the Structural Model of General Intelligence (SMGI) to establish formal criteria for admissible service reconfiguration in robotics.

Contribution

It demonstrates how embedding RoSO into SMGI provides a formal framework for ensuring runtime service updates remain admissible and identity-preserving.

Findings

Embedded RoSO into SMGI as a semantic layer.

Established a RoSO-to-SMGI adequacy theorem.

Derived criteria for identity-preserving reconfiguration.

Abstract

The Robotic Service Ontology (RoSO) gives service robotics a typed semantic vocabulary for services, functions, interactions, and deployment-sensitive constraints. Its public revision trail makes visible a harder question than ontology conformance alone can settle: once a service is rebound, recomposed, repaired, or redeployed, under what conditions does the resulting configuration remain an admissible realization of the same protected service? This article argues that the Structural Model of General Intelligence (SMGI) is relevant exactly at that level \citep{osmani2026smgi}. SMGI adds not only a structural interface $\theta$, but an induced behavioral semantics $T_\theta$ and a governance discipline for norm-respecting change. We show that RoSO can be embedded into SMGI as a typed semantic layer, so that service descriptions become dynamically governable rather than merely well formed. This yields a RoSO-to-SMGI adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions under which locally acceptable updates remain globally admissible. The resulting claim is not that SMGI replaces RoSO, but that it provides a formal account of what admissible runtime change requires once service semantics must survive revision.