Modelo de Conceptualización Intensional y Su Lenguaje para Entornos Distribuidos Abiertos
Autores: Badawy, Khaled; Essex, Aleksander; Wahaishi, AbdulMutalib
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
Modelo de Conceptualización Intensional y Su Lenguaje para Entornos Distribuidos Abiertos
Categoría
Matemáticas
Subcategoría
Matemáticas aplicadas
Palabras clave
Modelo de conceptualización intencional
Integración semántica
Sistemas dinámicos
Lógica intensional
Marco formal
Lenguaje específico de dominio
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 15
Citaciones: Sin citaciones
Este documento presenta el Modelo de Conceptualización Intensional para Entornos Abiertos (ICMOE), un marco formal diseñado para permitir la integración semántica en sistemas dinámicos y distribuidos. Basado en lógica intensional y formalizado a través de un lenguaje específico de dominio (ICMOE-L) construido sobre Lógica de Descripción (DL), el modelo distingue entre semánticas intencionales y extensionales, permitiendo la representación estructurada y evolución de conceptos, relaciones y reglas de dominio bajo la suposición de mundo abierto. ICMOE apoya un razonamiento semántico avanzado a través de una función de interpretación que conecta datos relacionales y estructuras ontológicas. Un análisis formal de complejidad muestra que el razonamiento con ICMOE-L tiene una complejidad en el peor de los casos de O(n), donde n es el número total de axiomas TBox y ABox. Para validar su efectividad, ICMOE se evalúa utilizando métricas tanto cualitativas como cuantitativas. El modelo logra una puntuación de Cobertura de Concepto de 0.94, Profundidad Semántica de 0.89, Índice de Adaptabilidad Dinámica de 0.91, Densidad de Reglas Semánticas de 0.85 y Eficiencia de Alineación Ontológica de 0.88. Estos resultados demuestran la superior escalabilidad, riqueza semántica y adaptabilidad de ICMOE en comparación con modelos fundamentales como los de Guarino y Bealer, convirtiéndolo en una solución robusta para entornos distribuidos abiertos.
Descripción
Este documento presenta el Modelo de Conceptualización Intensional para Entornos Abiertos (ICMOE), un marco formal diseñado para permitir la integración semántica en sistemas dinámicos y distribuidos. Basado en lógica intensional y formalizado a través de un lenguaje específico de dominio (ICMOE-L) construido sobre Lógica de Descripción (DL), el modelo distingue entre semánticas intencionales y extensionales, permitiendo la representación estructurada y evolución de conceptos, relaciones y reglas de dominio bajo la suposición de mundo abierto. ICMOE apoya un razonamiento semántico avanzado a través de una función de interpretación que conecta datos relacionales y estructuras ontológicas. Un análisis formal de complejidad muestra que el razonamiento con ICMOE-L tiene una complejidad en el peor de los casos de O(n), donde n es el número total de axiomas TBox y ABox. Para validar su efectividad, ICMOE se evalúa utilizando métricas tanto cualitativas como cuantitativas. El modelo logra una puntuación de Cobertura de Concepto de 0.94, Profundidad Semántica de 0.89, Índice de Adaptabilidad Dinámica de 0.91, Densidad de Reglas Semánticas de 0.85 y Eficiencia de Alineación Ontológica de 0.88. Estos resultados demuestran la superior escalabilidad, riqueza semántica y adaptabilidad de ICMOE en comparación con modelos fundamentales como los de Guarino y Bealer, convirtiéndolo en una solución robusta para entornos distribuidos abiertos.