Resumen: La formalización del conocimiento del proceso utilizando ontologías permite el modelado consistente de las interdependencias de los parámetros en la fabricación. Estas interdependencias generalmente se representan como expresiones matemáticas que definen las relaciones entre los parámetros del proceso, que respaldan tareas como el cálculo, la validación y la simulación. Para admitir la aplicación de contexto cruzado y la reutilización del conocimiento, tales expresiones a menudo se definen en una forma genérica y se aplican en múltiples contextos de proceso. Esto resalta la necesidad de un modelo consistente y semánticamente coherente para garantizar la corrección de la recuperación e interpretación de datos. En consecuencia, se requieren mecanismos dedicados para abordar desafíos clave, como seleccionar datos relevantes para el contexto, garantizar la compatibilidad de la unidad entre variables y elementos de datos, y verificar la integridad de los datos de entrada requeridos para evaluar las expresiones matemáticas. Este artículo presenta un conjunto de mecanismos de verificación para un modelo de proceso basado en ontología previamente desarrollado que integra semántica de procesos estandarizado, definiciones de elementos de datos y construcciones matemáticas formales. El enfoque incluye (i) filtrado basado en SPARQL para recuperar datos relevantes para el proceso, (ii) una verificación de consistencia de la unidad basada en anotaciones de unidades esperadas y clasificación semántica, y (iii) una verificación de integridad de datos para validar la evaluación de las interdependencias. La aplicabilidad del enfoque se demuestra con un caso de uso del moldeo de transferencia de resina (RTM), lo que respalda el desarrollo de modelos de ingeniería verificables y interesados en máquina.
Publicado Originalme en export.arxiv.org El 22 de junio de 2025.
Ver Fuente Original
