{"id":1810,"date":"2020-10-20T17:00:00","date_gmt":"2020-10-20T20:00:00","guid":{"rendered":"http:\/\/ijandev-test.fi.uncoma.edu.ar\/Wordpress\/index.php\/2020\/10\/20\/ferrarini-enzo-ontologias-y-modelos-conceptuales-con-orm-2-en-una-herramienta-grafica-con-razonamiento-basado-en-logicas-descriptivas-octubre-2020\/"},"modified":"2022-02-06T23:45:43","modified_gmt":"2022-02-07T02:45:43","slug":"1443-ferrarini-enzo-ontologias-y-modelos-conceptuales-con-orm-2-en-una-herramienta-grafica-con-razonamiento-basado-en-logicas-descriptivas-octubre-2020","status":"publish","type":"post","link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1443-ferrarini-enzo-ontologias-y-modelos-conceptuales-con-orm-2-en-una-herramienta-grafica-con-razonamiento-basado-en-logicas-descriptivas-octubre-2020\/","title":{"rendered":"Ferrarini, Enzo: Ontolog\u00edas y Modelos Conceptuales con ORM 2 en una Herramienta Gr\u00e1fica con Razonamiento basado en L\u00f3gicas Descriptivas. Octubre 2020"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"1810\" class=\"elementor elementor-1810\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-32b270f4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"32b270f4\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-64a73d61\" data-id=\"64a73d61\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-83e8ee2 elementor-widget elementor-widget-text-editor\" data-id=\"83e8ee2\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><strong>T\u00edtulo<\/strong>: \u00ab<em>Ontolog\u00edas y Modelos&nbsp;Conceptuales con ORM 2 en una Herramienta Gr\u00e1fica con Razonamiento basado en L\u00f3gicas&nbsp;Descriptivas<\/em>\u201d<\/p>\n<div>\n<p><strong>Tesista<\/strong>: Enzo Ferrarini<\/p>\n<p><strong>Director<\/strong>: Dr. Germ\u00e1n Braun<\/p>\n<p><strong>Carrera<\/strong>: Licenciatura en Ciencias de la Computaci\u00f3n<\/p>\n<\/div>\n<div>\n<p><strong>D\u00eda<\/strong>:&nbsp; 20 de octubre de 2020<\/p>\n<\/div>\n<div><strong>Resumen<\/strong><\/div>\n<div>&nbsp;<\/div>\n<div>\n<div>La ingenier\u00eda ontol\u00f3gica, involucra metodolog\u00edas y procesos que suelen ser complejos y costosos en tiempo. Considerando a las ontolog\u00edas como equivalentes a una base de conocimiento l\u00f3gica, uno de los motivos de esta complejidad est\u00e1 fundado en la necesidad de comprender dichos sistemas formales, tales como L\u00f3gicas Descriptivas (DLs) y lenguajes de ontolog\u00edas para la Web Sem\u00e1ntica, como OWL 2; adem\u00e1s del conocimiento concreto del dominio de inter\u00e9s. Durante las \u00faltimas d\u00e9cadas, la relaci\u00f3n entre los sistemas de representaci\u00f3n visuales y los formalismos l\u00f3gicos ha sido productiva, debido al cuerpo solido sobre el conocimiento generado en el \u00e1rea de las DLs. Esta familia de l\u00f3gicas ha sido importante, entre otras cosas, para proveer una sem\u00e1ntica precisa y estructurada de los sistemas visuales (redes sem\u00e1nticas), y propiedades computacionales bien de\ufb01nidas. Diversas herramientas desarrolladas para la ingenier\u00eda ontol\u00f3gica hacen uso de esta retroalimentaci\u00f3n gr\u00e1\ufb01ca y l\u00f3gica, sin embargo, no existen m\u00e9todos de visualizaci\u00f3n ampliamente aceptados, y las integraci\u00f3n de los sistemas l\u00f3gicos con las visualizaci\u00f3n a\u00fan son de\ufb01cientes. Una de las formas de visualizaci\u00f3n de ontolog\u00edas es el uso de los lenguajes de modelado conceptual de datos: UML, ER y ORM 2. Adem\u00e1s de ser lenguajes est\u00e1ndares, las herramientas para ingenier\u00eda ontol\u00f3gica podr\u00edan hacer uso de las metodolog\u00edas subyacentes a dichos lenguajes. Asimismo, subconjuntos expresivos de primitivas pueden ser mapeados a diversas l\u00f3gicas descriptivas, permitiendo razonamiento autom\u00e1tico sobre estos diagramas. En esta Tesis, se presenta el dise\u00f1o e implementaci\u00f3n de la herramienta visual web crowd ORM 2, basada sobre un modelo cliente-servidor, para tareas de ingenier\u00eda ontol\u00f3gica con ORM 2. La herramienta provee un nuevo entorno visual basado sobre un plug-in JavaScript, el cual implementa un subconjunto de primitivas de ORM 2. La integraci\u00f3n de esta interfaz con el backend l\u00f3gico de la herramienta, es obtenido a trav\u00e9s de la utilizaci\u00f3n de un mapeo de modelos ORM 2 a la DL ALCQI. Esto permite, adem\u00e1s, interactuar con razonadores autom\u00e1ticos para validar la calidad de los modelos. En un escenario de modelado, los usuarios (modeladores, ingenieros en conocimiento) componen los diagramas utilizando las primitivas ORM 2 provistas por la herramienta, e invocan los servicios de razonamientos. Luego del mapeo del diagrama a la DL ALCQI, la herramienta genera un archivo OWLlink, el cual es un protocolo est\u00e1ndar para enviar a los razonadores la base de conocimiento generada. El resultado de la validaci\u00f3n de los modelos visuales son informados al usuario, tambi\u00e9n en forma visual, indicando la satisfacibilidad del modelo y de cada una de sus clases y relaciones.<strong style=\"font-style: inherit; font-family: var( --e-global-typography-text-font-family ), Sans-serif; background-color: var(--ast-global-color-5);\">&nbsp;<\/strong><\/div><\/div>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-356f49a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"356f49a\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4f129d5\" data-id=\"4f129d5\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6c64142 elementor-widget elementor-widget-image\" data-id=\"6c64142\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img width=\"900\" height=\"452\" src=\"https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png\" class=\"attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png 900w, https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini-300x151.png 300w, https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini-768x386.png 768w\" sizes=\"(max-width: 900px) 100vw, 900px\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">  Foto del d\u00eda de la defensa con su director, el tribunal integrado por los docentes Dra. Laura Cecchi, Dra. Gabriela Aranda y Dr. Mart\u00edn Garriga y representantes de la Secretar\u00eda Acad\u00e9mica FAI<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f22c8f3 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f22c8f3\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-adb060b\" data-id=\"adb060b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7055ee5 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"7055ee5\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Ver otras tesis LCC FaI<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>T\u00edtulo: \u00abOntolog\u00edas y Modelos&nbsp;Conceptuales con ORM 2 en una Herramienta Gr\u00e1fica con Razonamiento basado en L\u00f3gicas&nbsp;Descriptivas\u201d Tesista: Enzo Ferrarini Director: Dr. Germ\u00e1n Braun Carrera: Licenciatura en Ciencias de la Computaci\u00f3n D\u00eda:&nbsp; 20 de octubre de 2020 Resumen &nbsp; La ingenier\u00eda ontol\u00f3gica, involucra metodolog\u00edas y procesos que suelen ser complejos y costosos en tiempo. Considerando a &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1443-ferrarini-enzo-ontologias-y-modelos-conceptuales-con-orm-2-en-una-herramienta-grafica-con-razonamiento-basado-en-logicas-descriptivas-octubre-2020\/\"> <span class=\"screen-reader-text\">Ferrarini, Enzo: Ontolog\u00edas y Modelos Conceptuales con ORM 2 en una Herramienta Gr\u00e1fica con Razonamiento basado en L\u00f3gicas Descriptivas. Octubre 2020<\/span> Leer m\u00e1s &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":7420,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":""},"categories":[14],"tags":[],"uagb_featured_image_src":{"full":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png",900,452,false],"thumbnail":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini-150x150.png",150,150,true],"medium":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini-300x151.png",300,151,true],"medium_large":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini-768x386.png",768,386,true],"large":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png",900,452,false],"1536x1536":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png",900,452,false],"2048x2048":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2020\/10\/tesis-ferrarini.png",900,452,false]},"uagb_author_info":{"display_name":"ufai","author_link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/author\/ufai\/"},"uagb_comment_info":0,"uagb_excerpt":"T\u00edtulo: \u00abOntolog\u00edas y Modelos&nbsp;Conceptuales con ORM 2 en una Herramienta Gr\u00e1fica con Razonamiento basado en L\u00f3gicas&nbsp;Descriptivas\u201d Tesista: Enzo Ferrarini Director: Dr. Germ\u00e1n Braun Carrera: Licenciatura en Ciencias de la Computaci\u00f3n D\u00eda:&nbsp; 20 de octubre de 2020 Resumen &nbsp; La ingenier\u00eda ontol\u00f3gica, involucra metodolog\u00edas y procesos que suelen ser complejos y costosos en tiempo. Considerando a&hellip;","_links":{"self":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1810"}],"collection":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/comments?post=1810"}],"version-history":[{"count":13,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1810\/revisions"}],"predecessor-version":[{"id":8724,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1810\/revisions\/8724"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media\/7420"}],"wp:attachment":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media?parent=1810"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/categories?post=1810"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/tags?post=1810"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}