000008903 001__ 8903 000008903 005__ 20150325140124.0 000008903 037__ $$aTAZ-PFC-2012-599 000008903 041__ $$aspa 000008903 1001_ $$aBobed Lisbona, Jorge 000008903 24500 $$aVisualizador de ontologías basado en un razonador de lógica descriptiva 000008903 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2012 000008903 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000008903 520__ $$aDurante los últimos años, la Web está evolucionando en lo que se denomina la Web Semántica. En esta nueva Web, los contenidos pasan a ser entendidos y procesados por los ordenadores para automatizar y mejorar distintas tareas. Esto se consigue mediante la adición de información semántica a dichos contenidos. Dicha información es ofrecida por las ontologías, definidas por Tomas Grüber como la "especificación de una conceptualización", que permiten modelar y definir distintas vistas del mundo de manera que el ordenador pueda entenderlas y manipularlas. Actualmente, el formalismo más extendido para la definición de ontologías son los llamados lenguajes Description Logics (DLs). Los DLs ofrecen un marco teórico que permite la existencia de razonadores, programas que permiten razonar e inferir nuevos hechos sobre las ontologías, encontrar relaciones no explícitas, clasificar los conceptos e instancias de las ontologías, o encontrar inconsistencias en los modelos, entre otras tareas. Este formalismo es el que se encuentra tras el estándar W3C de representación de ontologías: OWL (Web Ontology Language). Asimismo, el correcto modelado y uso de una ontología recae en el conocimiento del conjunto de conceptos y relaciones a representar, y en su dominio sobre la alta complejidad de los formalismos de los DLs. Por tanto, es vital un visualizador que ayude tanto al creador encontrando posibles fallos de modelado (inconsistencias) como a desarrolladores que pretendan entender y utilizar ontologías de terceros. El objetivo de este PFC ha sido por tanto la realización de un visualizador de ontologías semánticamente expresivo. El problema de encontrar una representación visual acorde a la complejidad de estos esquemas no es nuevo. Existen diversos visualizadores con aproximaciones muy diferentes con sus puntos fuertes y débiles. Con el visualizador propuesto se ha pretendido suplir esas carencias que van desde la ausencia de apoyo sobre un razonador a la omisión de entidades como clases anónimas o la representación de la jerarquía de propiedades en el mismo esquema. Para llevarlo a cabo ha sido vital la experiencia del grupo SID en el campo. Con el visualizador se ha conseguido: Ofrecer un lenguaje visual expresivo y semánticamente correcto que facilite el entendimiento de la ontología.Permitir observar la jerarquía de conceptos o clases, así como las clases anónimas que puedan surgir de la definición de éstos. Permitir al usuario ocultar parcialmente el grafo, de modo que pueda centrarse en los aspectos que más le interesen. Modificar la disposición de los elementos en pantalla para dejarlos según las preferencias personales. Ser capaz de guardar el estado visual y la configuración en ficheros XML, para poder restaurarlo en futuras sesiones. Exportar como distintos tipos de imagen (JPG y PNG) para poder visualizar posteriormente con un visor de imágenes. Añadir la jerarquía de roles y propiedades sobre el grafo. Poder listar instancias de las distintas clases. Interactuar con los distintos elementos: Desplazar nodos a voluntad, ocultar subníveles de estos, las propiedades asociadas, mostrar información adicional al de la entidad que tiene el foco de atención, realizar zoom sobre el grafo, etc. Además se ha planteado el desarrollo del mismo como aplicación propia y como plug-in de la plataforma Protégé. La decisión de la integración en Protégé, como plug-in viene justificada por el aumento de usabilidad que supone en un entorno de edición ampliamente extendido en la comunidad de la Web Semántica. Como lenguaje de programación, se ha utilizado Java, dado que tanto Protégé como la API más extendida (OWLAPI) están desarrollados en dicho lenguaje. Por otro lado, se hace uso intensivo de razonadores DL explotando sus capacidades para ofrecer información relevante para la explicación de la ontología. La selección de éstos viene dada por su compatibilidad con OWLAPI (Pellet, Hermit, Fact++ y RacerPro, entre otros). 000008903 521__ $$aIngeniero en Informática 000008903 540__ $$aDerechos regulados por licencia Creative Commons 000008903 6531_ $$aontologias 000008903 6531_ $$aweb semántica 000008903 6531_ $$avisualizador 000008903 6531_ $$aowl 000008903 6531_ $$adescription logics 000008903 700__ $$aBobed Lisbona, Carlos$$edir. 000008903 700__ $$aMena Nieto, Eduardo$$edir. 000008903 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas$$cLenguajes y Sistemas Informáticos 000008903 8560_ $$f550924@celes.unizar.es 000008903 8564_ $$s22635809$$uhttps://zaguan.unizar.es/record/8903/files/TAZ-PFC-2012-599_ANE.pdf$$yAnexos (spa) 000008903 8564_ $$s2559712$$uhttps://zaguan.unizar.es/record/8903/files/TAZ-PFC-2012-599.pdf$$yMemoria (spa) 000008903 909CO $$ooai:zaguan.unizar.es:8903$$pdriver$$pproyectos-fin-carrera 000008903 950__ $$a 000008903 980__ $$aTAZ$$bPFC$$cEINA