pith. machine review for the scientific record. sign in

arxiv: 2605.08185 · v1 · submitted 2026-05-05 · 💻 cs.RO · cs.AI

Recognition: no theorem link

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

Aomar Osmani

Authors on Pith no claims yet

Pith reviewed 2026-05-12 00:52 UTC · model grok-4.3

classification 💻 cs.RO cs.AI
keywords robotic service ontologystructural model of general intelligenceadmissible reconfigurationontology embeddingservice governanceruntime changesemantic layerrobotic services
0
0 comments X

The pith

Robotic service descriptions become dynamically governable by embedding RoSO into SMGI as a typed semantic layer.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper argues that the Robotic Service Ontology can be embedded into the Structural Model of General Intelligence to handle not just static conformance but also runtime reconfigurations of services. This embedding supplies behavioral semantics and rules for norm-respecting changes so that rebinding, recomposition, or redeployment keeps the resulting configuration admissible. A sympathetic reader would care because robotic systems routinely adapt services at runtime and need guarantees that protected semantics survive those adaptations. If the embedding succeeds, it produces an adequacy theorem along with identity-preserving criteria and compositional conditions for global admissibility. The outcome supplies a formal account of admissible change without discarding the original ontology.

Core claim

The paper claims that embedding RoSO into SMGI as a typed semantic layer yields a RoSO-to-SMGI adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions under which locally acceptable updates remain globally admissible. Service descriptions thereby become dynamically governable rather than merely well formed, and SMGI provides the formal account of what admissible runtime change requires once service semantics must survive revision.

What carries the argument

The embedding of RoSO into SMGI as a typed semantic layer that induces behavioral semantics T_θ and a governance discipline for norm-respecting change.

Load-bearing premise

SMGI must supply an induced behavioral semantics and a governance discipline that can accept the RoSO embedding without semantic loss or circular dependence on the embedding itself.

What would settle it

A concrete counterexample would be any robotic service reconfiguration that satisfies RoSO constraints and local SMGI norms yet fails to preserve protected service identity or global admissibility under the embedding.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims that embedding the Robotic Service Ontology (RoSO) into the Structural Model of General Intelligence (SMGI) as a typed semantic layer enables dynamic governance of robotic service descriptions. This embedding is asserted to produce a RoSO-to-SMGI adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions under which locally acceptable updates remain globally admissible, thereby addressing the gap between static ontology conformance and admissible runtime changes in robotic services.

Significance. If the embedding and adequacy theorem hold without semantic loss or circularity, the work could provide a formal mechanism for ensuring that reconfigurations, recompositions, and redeployments of robotic services preserve protected semantics, which would be relevant for reliable autonomous systems. The manuscript identifies a genuine open question in service robotics governance but does not demonstrate the result.

major comments (2)
  1. [Abstract] Abstract: the existence of a RoSO-to-SMGI adequacy theorem and embedding is stated, yet no derivation steps, proof sketch, definition of the embedding map, or verification that RoSO constraints are preserved under T_θ are supplied, leaving the central claim unverified.
  2. [Abstract and main argument] The behavioral semantics T_θ and governance discipline for norm-respecting change are taken directly from the cited prior SMGI work (osmani2026smgi); the adequacy theorem therefore reduces to properties already defined there, and the manuscript supplies no independent check that the embedding avoids circular dependence or semantic loss.
minor comments (1)
  1. Clarify the precise interface between RoSO types and SMGI's structural interface θ, including any notation for the embedding function, to make the typed semantic layer claim verifiable.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the relevance of the open question in robotic service governance. We address each major comment below and outline revisions that will clarify the technical content without altering the manuscript's core argument.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the existence of a RoSO-to-SMGI adequacy theorem and embedding is stated, yet no derivation steps, proof sketch, definition of the embedding map, or verification that RoSO constraints are preserved under T_θ are supplied, leaving the central claim unverified.

    Authors: The abstract is deliberately concise. The full manuscript defines the embedding map φ: RoSO → SMGI in Section 3 as a structure-preserving map from RoSO service types and constraints to SMGI structural interfaces θ. Section 4 states the adequacy theorem and supplies a proof sketch showing that RoSO constraints are preserved under the induced behavioral semantics T_θ. We agree that these elements are not visible from the abstract alone. In the revised version we will insert a brief definition of the embedding map and a one-paragraph proof sketch into the abstract, together with an explicit statement that constraint preservation follows from the commutativity of the embedding with the satisfaction relation. revision: yes

  2. Referee: [Abstract and main argument] The behavioral semantics T_θ and governance discipline for norm-respecting change are taken directly from the cited prior SMGI work (osmani2026smgi); the adequacy theorem therefore reduces to properties already defined there, and the manuscript supplies no independent check that the embedding avoids circular dependence or semantic loss.

    Authors: T_θ and the governance discipline are indeed drawn from the prior SMGI paper. The independent contribution of the present manuscript is the explicit construction of the RoSO embedding into SMGI as a typed semantic layer; this construction is given here and does not presuppose the behavioral semantics in its definition. We verify absence of circularity by showing that the embedding is defined solely in terms of RoSO primitives and SMGI structural interfaces, after which the adequacy theorem is obtained by composing with T_θ. Semantic preservation is checked by a faithfulness argument comparing RoSO satisfaction with the image under T_θ. To make the separation of concerns explicit, the revised manuscript will add a short lemma stating the independence of the embedding and confirming that no semantic loss occurs. revision: yes

Circularity Check

1 steps flagged

Adequacy theorem rests on unshown non-circular embedding of RoSO norms into SMGI's T_θ governance

specific steps
  1. self citation load bearing [Abstract]
    "This article argues that the Structural Model of General Intelligence (SMGI) is relevant exactly at that level [osmani2026smgi]. SMGI adds not only a structural interface θ, but an induced behavioral semantics T_θ 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 1."

    The behavioral semantics T_θ and governance discipline are taken from the author's prior SMGI paper. The embedding is asserted to produce the adequacy theorem and reconfiguration criteria, yet the paper provides no independent definition or verification of T_θ or the change rules here; the theorem therefore reduces to properties already defined in the self-cited model.

full rationale

The paper's derivation chain centers on embedding RoSO into SMGI to produce an adequacy theorem, identity-preserving reconfiguration criteria, and global admissibility from local updates. All load-bearing elements (induced behavioral semantics T_θ, governance discipline for norm-respecting change, and the structural interface θ) are imported wholesale via self-citation to the author's prior SMGI work. The manuscript presents the embedding as a 'typed semantic layer' that yields the new results but supplies no independent definitions, proofs, or external verification of T_θ or the governance rules within this document. Consequently the central claim reduces directly to properties presupposed from the cited earlier model.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the unproven embeddability of RoSO into SMGI and on SMGI already possessing the required governance primitives; no independent evidence for either is supplied in the abstract.

axioms (2)
  • domain assumption RoSO can be embedded into SMGI as a typed semantic layer without loss of service semantics
    Invoked to obtain the adequacy theorem and dynamic governability.
  • domain assumption SMGI supplies an induced behavioral semantics T_θ and norm-respecting change discipline
    Taken from the cited prior SMGI paper; required for the governance claim.

pith-pipeline@v0.9.0 · 5505 in / 1308 out tokens · 48476 ms · 2026-05-12T00:52:16.728646+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    A survey of ontology-enabled processes for dependable robot autonomy.Frontiers in Robotics and AI, 11:1377897, 2024

    Esther Aguado, Virgilio Gomez, Miguel Hernando, Claudio Rossi, and Ricardo Sanz. A survey of ontology-enabled processes for dependable robot autonomy.Frontiers in Robotics and AI, 11:1377897, 2024. doi: 10.3389/frobt.2024.1377897

    work page doi:10.3389/frobt.2024.1377897 2024

  2. [2]

    A survey of semantic reasoning frameworks for robotic systems.Robotics and Autonomous Systems, 154:104294, 2022

    Ignacio Carlucho, Matias De Paula, Guillermo Gabriel Acosta, Evandro Simoes, and Malik Ghallab. A survey of semantic reasoning frameworks for robotic systems.Robotics and Autonomous Systems, 154:104294, 2022. doi: 10.1016/j.robot.2022.104294

    work page doi:10.1016/j.robot.2022.104294 2022

  3. [3]

    Robotic service ontology (roso) version 1.0 beta 1

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Robotic service ontology (roso) version 1.0 beta 1. Official OMG specification,

    work page

  4. [4]

    Accessed 2026-03-31

    URLhttps://www.omg.org/spec/ROSO/1.0/Beta1/PDF. Accessed 2026-03-31. 23

    work page 2026

  5. [5]

    Issues associated with the robotic service ontology specification version 1.0 beta

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Issues associated with the robotic service ontology specification version 1.0 beta. Official OMG issue listing, 2023. URL https://www.omg.org/spec/ROSO/1.0/Beta1/ About-ROSO. Accessed 2026-03-31

    work page 2023

  6. [6]

    About the robotic interaction service framework specification version 2.0 beta

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. About the robotic interaction service framework specification version 2.0 beta

    work page

  7. [7]

    URLhttps://www.omg.org/spec/RoIS/2.0/ Beta2/About-RoIS

    Official OMG specification page, 2025. URLhttps://www.omg.org/spec/RoIS/2.0/ Beta2/About-RoIS. Accessed 2026-03-31

    work page 2025

  8. [8]

    Robotic service ontology (roso) version 1.0 beta 2

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Robotic service ontology (roso) version 1.0 beta 2. Official OMG specification,

    work page

  9. [9]

    Accessed 2026-03-31

    URLhttps://www.omg.org/spec/ROSO/1.0/Beta2/PDF. Accessed 2026-03-31

    work page 2026

  10. [10]

    Robotic service ontology (roso) version 1.1 beta 1

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Robotic service ontology (roso) version 1.1 beta 1. Official OMG specification,

    work page

  11. [11]

    Accessed 2026-03-31

    URLhttps://www.omg.org/spec/ROSO/1.1/Beta1/PDF. Accessed 2026-03-31

    work page 2026

  12. [12]

    About the robotic service ontology specification version 1.1 beta

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. About the robotic service ontology specification version 1.1 beta. Official OMG specification page, 2025. URL https://www.omg.org/spec/ROSO/1.1/Beta1/PDF. Ac- cessed 2026-03-31

    work page 2025

  13. [13]

    Issues associated with the robotic service ontology specification version 1.1 beta

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Issues associated with the robotic service ontology specification version 1.1 beta. Official OMG issue listing, 2025. URL https://www.omg.org/spec/ROSO/1.1/Beta1/ About-ROSO. Accessed 2026-03-31

    work page 2025

  14. [14]

    Robotic service ontology (roso), version 1.0 formal, robotics domain task force (dtf)

    Suyoung Chi, Abdelghani Chibani, Koji Kamei, Elisa Kendall, Aomar Osmani, and Takashi Yoshimi. Robotic service ontology (roso), version 1.0 formal, robotics domain task force (dtf). Official OMG robotics portal, 2026. URLhttps://www.omg.org/spec/ROSO/1.0/ About-ROSO. Accessed 2026-03-31

    work page 2026

  15. [15]

    Semantic task planning for service robots in open worlds.Future Internet, 13(2):49, 2021

    Guowei Cui, Wei Shuai, and Xiaoping Chen. Semantic task planning for service robots in open worlds.Future Internet, 13(2):49, 2021. doi: 10.3390/fi13020049

    work page doi:10.3390/fi13020049 2021

  16. [16]

    Ontology based autonomous robot task processing framework.Frontiers in Neurorobotics, 18:1401075, 2024

    Yueguang Ge, Shaolin Zhang, Yinghao Cai, Tao Lu, Haitao Wang, Xiaolong Hui, and Shuo Wang. Ontology based autonomous robot task processing framework.Frontiers in Neurorobotics, 18:1401075, 2024. doi: 10.3389/fnbot.2024.1401075

    work page doi:10.3389/fnbot.2024.1401075 2024

  17. [17]

    Semantic mapping for mobile robots in indoor scenes: A survey.Information, 12(2):92, 2021

    Xiaoning Han, Shuailong Li, Xiaohui Wang, and Weijia Zhou. Semantic mapping for mobile robots in indoor scenes: A survey.Information, 12(2):92, 2021. doi: 10.3390/info12020092

    work page doi:10.3390/info12020092 2021

  18. [18]

    IEEE 1872.2-2021: IEEE standard for autonomous robotics (aur) ontology

    IEEE. IEEE 1872.2-2021: IEEE standard for autonomous robotics (aur) ontology. IEEE Standards Association standard page, 2021. URLhttps://standards.ieee.org/ieee/ 1872.2/7094. Accessed 2026-03-31

    work page 2021

  19. [19]

    IEEE p1872.3: Standard for ontology reasoning on multiple robots

    IEEE. IEEE p1872.3: Standard for ontology reasoning on multiple robots. IEEE Standards Association project page, 2022. URLhttps://standards.ieee.org/ieee/1872.3/11037. Accessed 2026-03-31. 24

    work page 2022

  20. [20]

    IEEE 1872.1-2024: IEEE standard for robot task representation

    IEEE. IEEE 1872.1-2024: IEEE standard for robot task representation. IEEE Standards Association standard page, 2024. URLhttps://standards.ieee.org/ieee/1872.1/6993. Accessed 2026-03-31

    work page 2024

  21. [21]

    Iso 8373:2021 robotics — vocabulary

    International Organization for Standardization. Iso 8373:2021 robotics — vocabulary. ISO standard page, 2021. URLhttps://www.iso.org/standard/75539.html. Accessed 2026-03-31

    work page 2021

  22. [22]

    Iso 18646-2:2024 robotics — performance criteria and related test methods for service robots — part 2: Navigation

    International Organization for Standardization. Iso 18646-2:2024 robotics — performance criteria and related test methods for service robots — part 2: Navigation. ISO standard page, 2024. URLhttps://www.iso.org/standard/82643.html. Accessed 2026-03-31

    work page 2024

  23. [23]

    Iso 22166-201:2024 robotics — modularity for service robots — part 201: Common information model for modules

    International Organization for Standardization. Iso 22166-201:2024 robotics — modularity for service robots — part 201: Common information model for modules. ISO standard page,

    work page 2024

  24. [24]

    Accessed 2026-03-31

    URLhttps://www.iso.org/standard/82334.html. Accessed 2026-03-31

    work page 2026

  25. [25]

    Recommendation itu-t y.3533: Cloud computing — functional requirements for robotics as a service

    ITU-T. Recommendation itu-t y.3533: Cloud computing — functional requirements for robotics as a service. ITU recommendation database, 2023. URLhttps://www.itu.int/ ITU-T/recommendations/rec.aspx?rec=15746. Approved 2023-12-14; accessed 2026-03- 31

    work page 2023

  26. [26]

    Standardization of ontology for service robots

    Koji Kamei and Takahiro Miyashita. Standardization of ontology for service robots. Serviceology, 7(4):138–141, 2021. doi: 10.24464/serviceology.7.4_138

    work page doi:10.24464/serviceology.7.4_138 2021

  27. [27]

    Rois framework: Standard- ization of api for service robot systems

    Koji Kamei, Shuichi Nishio, Norihiro Hagita, and Miki Sato. Rois framework: Standard- ization of api for service robot systems. InProceedings of the 44th Hawaii International Conference on System Sciences (HICSS), pages 1–8, 2011. doi: 10.1109/HICSS.2011.280

    work page doi:10.1109/hicss.2011.280 2011

  28. [28]

    Knowrob ontologies and SOMA

    KnowRob Project. Knowrob ontologies and SOMA. KnowRob project documentation, 2025. URLhttps://www.knowrob.org/ontologies. Accessed 2026-03-31

    work page 2025

  29. [29]

    ORO, a knowledge management platform for cognitive architectures in robotics

    Séverin Lemaignan, Raquel Ros, Lorenz Mösenlechner, Rachid Alami, and Michael Beetz. ORO, a knowledge management platform for cognitive architectures in robotics. In2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3548–3553, 2010. doi: 10.1109/IROS.2010.5649547

    work page doi:10.1109/iros.2010.5649547 2010

  30. [30]

    Ontology-based knowledge representation in robotic systems: A survey oriented toward applications.Applied Sciences, 11(10):4324, 2021

    Sumaira Manzoor, Yuri Goncalves Rocha, Sung-Hyeon Joo, Sang-Hyeon Bae, Eun-Jin Kim, Kyeong-Jin Joo, and Tae-Yong Kuc. Ontology-based knowledge representation in robotic systems: A survey oriented toward applications.Applied Sciences, 11(10):4324, 2021. doi: 10.3390/app11104324

    work page doi:10.3390/app11104324 2021

  31. [31]

    Yao Mu, Tianxing Chen, Zanxin Chen, et al

    Runqing Miao, Yong Wang, Chen Wang, Zexu Zhang, Jinyang Li, and Yue Li. Semantic representation of robot manipulation with knowledge graph.Entropy, 25(4):657, 2023. doi: 10.3390/e25040657

    work page doi:10.3390/e25040657 2023

  32. [32]

    Automatic building robot technology ontology based on basic-level knowledge.Journal of Robotics and Mechatronics, 23(4): 515–522, 2011

    Trung Lam Ngo, Haeyeon Lee, and Makoto Mizukawa. Automatic building robot technology ontology based on basic-level knowledge.Journal of Robotics and Mechatronics, 23(4): 515–522, 2011. doi: 10.20965/jrm.2011.p0515

    work page doi:10.20965/jrm.2011.p0515 2011

  33. [33]

    Robotic service ontology request for proposal

    Object Management Group. Robotic service ontology request for proposal. OMG doc- ument robotics/2019-06-01, 2019. URLhttps://www.omg.org/cgi-bin/doc?robotics/ 2019-06-01. Accessed 2026-03-31. 25

    work page 2019

  34. [34]

    A new formal theory of agi part i: The structural admissibility kernel (smgi), 2026

    Aomar Osmani. A new formal theory of agi part i: The structural admissibility kernel (smgi), 2026. arXiv preprint

    work page 2026

  35. [35]

    Luiz Carbonera, Sandro Fiorini, Vanderlei A

    Edson Prestes, J. Luiz Carbonera, Sandro Fiorini, Vanderlei A. M. Jorge, Mara Abel, Raj Madhavan, Angelo Locoro, Paulo Goncalves, Maurício E. Barreto, Maki Habib, Amine Chibani, Sébastien Gerard, Yacine Amirat, and Craig Schlenoff. Applied ontologies and standards for service robots.Robotics and Autonomous Systems, 61(11):1215–1227, 2013. doi: 10.1016/j.r...

    work page doi:10.1016/j.robot.2013.04.008 2013

  36. [36]

    An IEEE standard ontology for robotics and automation.IEEE Intelligent Systems, 27(2):99–101, 2012

    Craig Schlenoff, Stephen Balakirsky, Thomas Kramer, Edson Prestes, Paulo Goncalves, and Howard Li. An IEEE standard ontology for robotics and automation.IEEE Intelligent Systems, 27(2):99–101, 2012. doi: 10.1109/MIS.2012.20

    work page doi:10.1109/mis.2012.20 2012

  37. [37]

    High-level smart decision making of a robot based on ontology in a search and rescue scenario.Future Internet, 11(11):230, 2019

    Xiaolei Sun, Yu Zhang, and Jing Chen. High-level smart decision making of a robot based on ontology in a search and rescue scenario.Future Internet, 11(11):230, 2019. doi: 10.3390/fi11110230

    work page doi:10.3390/fi11110230 2019

  38. [38]

    Knowrob — a knowledge processing infrastructure for cognition-enabled robots.The International Journal of Robotics Research, 32(5):566–590,

    Moritz Tenorth and Michael Beetz. Knowrob — a knowledge processing infrastructure for cognition-enabled robots.The International Journal of Robotics Research, 32(5):566–590,

    work page

  39. [39]

    doi: 10.1177/0278364913481635

    work page doi:10.1177/0278364913481635

  40. [40]

    Robot technology ontology targeting robot technology services in kukanchi — interactive human-space design and intelligence

    Ken Ukai, Yoshinobu Ando, and Makoto Mizukawa. Robot technology ontology targeting robot technology services in kukanchi — interactive human-space design and intelligence. Journal of Robotics and Mechatronics, 21(4):489–497, 2009. doi: 10.20965/jrm.2009.p0489

    work page doi:10.20965/jrm.2009.p0489 2009

  41. [41]

    Reasoning on objects and grasping using description logics.Advanced Robotics, 33(13):616–635, 2019

    Nicola Vitucci and Giuseppina Gini. Reasoning on objects and grasping using description logics.Advanced Robotics, 33(13):616–635, 2019. doi: 10.1080/01691864.2019.1638452

    work page doi:10.1080/01691864.2019.1638452 2019

  42. [42]

    Towards semantic interoperability: An information model for autonomous mobile robots.Journal of Intelligent & Robotic Systems, 110:123, 2024

    Marvin Zager, Christoph Sieber, and Alexander Fay. Towards semantic interoperability: An information model for autonomous mobile robots.Journal of Intelligent & Robotic Systems, 110:123, 2024. doi: 10.1007/s10846-024-02159-3. 26

    work page doi:10.1007/s10846-024-02159-3 2024