logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro