Resumen

La colisión semántica es inevitable al construir una ontología de dominio a partir de fuentes de datos heterogéneas (semi)automáticamente. Por lo tanto, la consistencia semántica es una condición indispensable para construir una ontología correcta. En este artículo, se propone un método basado en la verificación de modelos para manejar el problema de la consistencia semántica con un tipo de metodología de modelo intermedio, que podría extraer una ontología de dominio de fuentes de datos estructurados y semiestructurados de forma semiautomática. El método traduce el modelo intermedio en la estructura de Kripke, y las afirmaciones de consistencia en fórmulas CTL, por lo que un problema de verificación de consistencia se convierte en una verificación de modelo global. Además, se demuestra la viabilidad y corrección de la transformación, y se proporcionan estudios de caso.

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Colisión semántica; Ontología de dominio; Fuentes de datos heterogéneas; Consistencia semántica; Método basado en verificación de modelos; Fuentes de datos estructurados
• Keywords:Semantic collision; Domain ontology; Heterogeneous data sources; Semantic consistency; Model-checking-based method; Structured data sources