Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos

Ante el requerimiento de unificar sistemas de información preexistentes, las ontologías se presentan frecuentemente como la mejor opción para resolver interoperabilidad semántica e integrar modelos de datos de fuentes heterogéneas. Entre los lenguajes más populares para especificar dichas ontologías...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Accattoli, Mario Luis, Garis, Ana Gabriela, Riesco, Daniel Eduardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2020
Materias:	Ciencias Informáticas Ontologías OWL Alloy Verificación y validación de modelos Datos Poder Judicial
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/103983
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-103983
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Ontologías OWL Alloy Verificación y validación de modelos Datos Poder Judicial
spellingShingle	Ciencias Informáticas Ontologías OWL Alloy Verificación y validación de modelos Datos Poder Judicial Accattoli, Mario Luis Garis, Ana Gabriela Riesco, Daniel Eduardo Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
topic_facet	Ciencias Informáticas Ontologías OWL Alloy Verificación y validación de modelos Datos Poder Judicial
description	Ante el requerimiento de unificar sistemas de información preexistentes, las ontologías se presentan frecuentemente como la mejor opción para resolver interoperabilidad semántica e integrar modelos de datos de fuentes heterogéneas. Entre los lenguajes más populares para especificar dichas ontologías se encuentra OWL, un lenguaje basado en lógica descriptiva y soportado por un razonador que permite chequear la consistencia lógica. Sin embargo, tiene ciertas limitaciones para verificar y validar algunos aspectos relevantes. Por ejemplo, carece de características que posibiliten chequear si la ontología es coherente con el dominio del conocimiento, si es compatible para recuperar la información deseada, o si es completa y consistente de acuerdo a los requerimientos. Alloy es un lenguaje formal soportado por un analizador automático SAT, que habilita la Verificación y Validación (V&V) de modelos. La presente línea de investigación tiene como objetivo estudiar el uso de Alloy para la V&V de ontologías en OWL desarrolladas para unificar modelos de datos heterogéneos. Como caso de estudio se plantea la V&V con Alloy, de una ontología genérica a nivel nacional especificada para unificar el modelo de datos utilizado en de las distintas jurisdicciones dentro los sistemas de información de los Poderes Judiciales de Argentina.
format	Objeto de conferencia Objeto de conferencia
author	Accattoli, Mario Luis Garis, Ana Gabriela Riesco, Daniel Eduardo
author_facet	Accattoli, Mario Luis Garis, Ana Gabriela Riesco, Daniel Eduardo
author_sort	Accattoli, Mario Luis
title	Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
title_short	Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
title_full	Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
title_fullStr	Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
title_full_unstemmed	Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
title_sort	validación y verificación con alloy de ontologías en owl que unifican modelos de datos heterogéneos
publishDate	2020
url	http://sedici.unlp.edu.ar/handle/10915/103983
work_keys_str_mv	AT accattolimarioluis validacionyverificacionconalloydeontologiasenowlqueunificanmodelosdedatosheterogeneos AT garisanagabriela validacionyverificacionconalloydeontologiasenowlqueunificanmodelosdedatosheterogeneos AT riescodanieleduardo validacionyverificacionconalloydeontologiasenowlqueunificanmodelosdedatosheterogeneos
bdutipo_str	Repositorios
_version_	1764820441539543040

Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos

Ejemplares similares