Resumen: Se propone una formalización de una ontología sujeto-evento para modelar sistemas dinámicos complejos sin depender del tiempo global. Principios clave: (1) evento como un acto de fijación: un sujeto discierne y fija los cambios de acuerdo con los modelos (plantillas conceptuales) disponibles para él; (2) orden causal vía sucede antes: el orden de los eventos se define por dependencias explícitas, no por marcas de tiempo; (3) hacer que la ontología sea ejecutable a través de un mecanismo de flujo de datos declarativo, asegurando el determinismo; (4) modelos como filtros epistémicos: un sujeto sólo puede fijar lo que cae dentro de sus conceptos y propiedades conocidos; (5) presunción de verdad: el contenido declarativo de un evento está disponible para su cálculo desde el momento de su fijación, sin verificación externa. La formalización incluye nueve axiomas (A1-A9), que garantizan la corrección de las ontologías ejecutables: monotonicidad de la historia (I1), aciclicidad de la causalidad (I2), trazabilidad (I3). Se presta especial atención al enfoque basado en modelos (A9): validación de eventos mediante esquemas, autorización de actores, construcción automática de cadenas causales (W3) sin tiempo global. La aplicabilidad práctica se demuestra en el sistema Boldsea, un motor de flujo de trabajo para ontologías ejecutables, donde las construcciones teóricas se implementan en BSL (Boldsea Semantic Language). La formalización es aplicable a sistemas distribuidos, arquitecturas de microservicios, plataformas DLT y escenarios de múltiples perspectivas (hechos contradictorios de diferentes temas).
Publicado originalmente en export.arxiv.org el 21 de octubre de 2025.
Ver fuente original
