La presente investigación se desarrolla mediante el trabajo de docentes investigadores de la Universidad Nacional del Comahue (UNCo) y de la Universidad Nacional del Sur (UNS), en el contexto de proyectos de investigación financiados por las universidades indicadas. La complejidad inherente a los modelos conceptuales y a las ontologías requiren mantener la legibilidad de dichos modelos. Para cubrir esta necesidad y, teniendo en cuenta el tamaño de los diagramas en términos de sus primitivas gráficas, algoritmos efectivos y eficientes de layout deben ser desarrollados para garantizar la usabilidad de las herramientas. El objetivo de esta línea de investigación es analizar, diseñar e implementar algoritmos de layout en una herramienta gráfica Web. Para esto, se profundizará en técnicas y heurísticas de visualización basadas en la teoría de Crossing Number y sus variantes, aplicado a los lenguajes EER, UML y ORM 2

Braun, Germán

Cecchi, Laura

Fillottrani, Pablo Rubén

Marinelli, Giuliano

Undetermined

La presente investigación se desarrolla mediante el trabajo de docentes investigadores de la Universidad Nacional del Comahue (UNCo) y de la Universidad Nacional del Sur (UNS), en el contexto de proyectos de investigación financiados por las universidades indicadas.
La complejidad inherente a los modelos conceptuales y a las ontologías requiren mantener la legibilidad de dichos modelos. Para cubrir esta necesidad y, teniendo en cuenta el tamaño de los diagramas en términos de sus primitivas gráficas, algoritmos efectivos y eficientes de layout deben ser desarrollados para garantizar la usabilidad de las herramientas.
El objetivo de esta línea de investigación es analizar, diseñar e implementar algoritmos de layout en una herramienta gráfica Web. Para esto, se profundizará en técnicas y heurísticas de visualización basadas en la teoría de Crossing Number y sus variantes, aplicado a los lenguajes EER, UML y ORM 2.Eje: Ingeniería en Sistemas Software.Red de Universidades con Carreras en Informátic

Servicio de Difusión de la Creación Intelectual

Algoritmos de Layout Automa´tico para una HerramientaMulti-Vistas de Modelado Ontolo´gicoGiuliano Marinelli1 Germa´n Braun1,2,3 Laura Cecchi1Pablo Fillottrani2,4email: giuliano.marinelli@est.fi.uncoma.edu.ar,{german.braun,lcecchi}@fi.uncoma.edu.ar, prf@cs.uns.edu.ar1Grupo de Investigacio´n en Lenguajes e Inteligencia ArtiﬁcialDepartamento de Teorı´a de la Computacio´n - Facultad de Informa´ticaUNIVERSIDAD NACIONAL DEL COMAHUE2Laboratorio de I&D en Ingenierı´a de Software y Sistemas de Informacio´nDepartamento de Ciencias e Ingenierı´a de la Computacio´nUNIVERSIDAD NACIONAL DEL SUR3Consejo Nacional de Investigaciones Cientı´ﬁcas y Te´cnicas (CONICET)4Comisio´n de Investigaciones Cientı´ﬁcas de la provincia de Buenos Aires (CIC)ResumenLa presente investigacio´n se desarrolla me-diante el trabajo de docentes investigadores dela Universidad Nacional del Comahue (UNCo)y de la Universidad Nacional del Sur (UNS), enel contexto de proyectos de investigacio´n ﬁnan-ciados por las universidades indicadas.La complejidad inherente a los modelos con-ceptuales y a las ontologı´as requiren mantenerla legibilidad de dichos modelos. Para cubriresta necesidad y, teniendo en cuenta el taman˜ode los diagramas en te´rminos de sus primitivasgra´ﬁcas, algoritmos efectivos y eﬁcientes de la-yout deben ser desarrollados para garantizar lausabilidad de las herramientas.El objetivo de esta lı´nea de investigacio´n esanalizar, disen˜ar e implementar algoritmos delayout en una herramienta gra´ﬁca Web. Para es-to, se profundizara´ en te´cnicas y heurı´sticas devisualizacio´n basadas en la teorı´a de CrossingNumber y sus variantes, aplicado a los lengua-jes EER, UML y ORM 2.Palabras Clave: Ingenierı´a de Software basadaen Conocimiento, Ontologı´as, Interoperabilidadde Lenguajes de Modelado Conceptual.ContextoEste trabajo esta´ parcialmente ﬁnanciado porla Universidad Nacional del Comahue, en elmarco del proyecto de investigacio´n Agentes In-teligentes y Web Sema´ntica (04/F014), por laUniversidad Nacional del Sur a trave´s del pro-yecto de investigacio´n Integracio´n de Informa-cio´n y Servicios en la Web (24/N027) y por elConsejo Nacional de Investigaciones Cientı´ﬁ-cas y Te´cnicas (CONICET), en el contexto deuna beca interna doctoral. Los proyectos de in-vestigacio´n tienen una duracio´n de cuatro an˜osy la beca doctoral una duracio´n de 5 an˜os, ﬁna-lizando esta u´ltima en abril de 2019.1. Introduccio´nEn la actualidad disponemos de herramientasque asisten a los modeladores para la realiza-cio´n de tareas de modelado conceptual y on-tolo´gico, las cuales brindan un soporte gra´ﬁ-co de manera que se simpliﬁque la visualiza-XX Workshop de Investigadores en Ciencias de la Computacio´n 80926 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4cio´n del contenido y facilite dicha tarea. Estobrinda al modelador mayor rapidez en los pro-cesos cognitivos que realiza a la hora de mo-delar, da´ndole la posibilidad de tomar mejoresdecisiones de disen˜o. El modelado implica eldesarrollo de diagramas a trave´s de lenguajesesta´ndar como UML [4], ER [8], ORM 2 [16],entre otros, los cuales son, por lo general, so-portados por las herramientas relevadas en la li-teratura [1, 2].Trabajar con tales herramientas siempre pre-senta alguna diﬁcultad (o poca facilidad), par-ticularmente, cuando se modelan dominios deaplicacio´n reales, donde la cantidad de elemen-tos gra´ﬁcos es considerable o cuando se reali-za la integracio´n de mu´ltiples modelos. Estosproblemas son los relacionados con la visuali-zacio´n o layout [9, 10], como la distribucio´n delos elementos gra´ﬁcos en el espacio del diagra-ma, o las formas y taman˜os de estos elementos.Herramientas para modelado ontolo´gico talescomo Prote´ge´ [18], OWLGrEd [7], VOWL [19]e ICOM [11], poseen algoritmos de layout au-toma´tico, pero con ciertas limitaciones en rela-cio´n al enfoque de nuestra propuesta. En primerlugar, OWLViz, OntoGraf y SOVA son plug-ins de Prote´ge´ que utilizan grafos como len-guaje gra´ﬁco para ontologı´as. Por lo tanto, sibien ofrecen algoritmos visuales, esta´n limita-dos en cuanto a la expresividad gra´ﬁca subya-cente. ICOM y OWLGrEd esta´n basados en loslenguajes de modelado conceptual ER y UML,respectivamente. Ambos permiten representarontologı´as OWL [22] y poseen capacidades delayout automa´tico. Sin embargo, solo proveenun conjunto de alineamientos ﬁjos y esta´ticos.Adema´s, el soporte gra´ﬁco de ICOM esta´ ac-tualmente descontinuado. Por u´ltimo, VOWLtambie´n implementa una visualizacio´n dina´mi-ca pero, al igual que los plug-ins previos, usagrafos como modelos para OWL y no lenguajesde modelado conceptual.Existen otras diﬁcultades adema´s de la visua-lizacio´n, a la hora de plantear soluciones a pro-blemas de dominio, donde se requiere un ana´li-sis sema´ntico de los elementos y las relacio-nes que lo deﬁnen. Esta es una de las principa-les motivaciones de nuestra herramienta, actual-mente en desarrollo, crowd [14, 15, 5]. crowdda soporte gra´ﬁco al modelador en el disen˜o demodelos conceptuales y ontologı´as con razona-miento automa´tico [3] para validarlos, lo quefacilita la creacio´n y depuracio´n de modelos ba-sados en un dominio especı´ﬁco. La herramientatambie´n provee soporte gra´ﬁco para los lengua-jes ER, UML y ORM 2, junto con un metamo-delo [12], posibilitando la interoperabilidad en-tre ellos.En esta lı´nea de investigacio´n proponemostrabajar sobre una mejora en los algoritmos devisualizacio´n de los diagramas, y sobre la re-solucio´n de los problemas que esto plantea. Eneste sentido, utilizaremos la herramienta crowdpara la implementacio´n de nuevos prototipos ysimulta´neamente este trabajo permitira´ la am-pliacio´n de la herramienta.Las problema´ticas principales a abarcar tie-nen un motivo este´tico sobre la visualizacio´n dediagramas (ma´s especı´ﬁcamente sobre grafos) ya la vez subyacen en problemas de mayor ı´ndo-le. Entre los problemas encontramos el nu´me-ro de cruzamientos entre los arcos que conec-tan los elementos de un grafo, conocido comoCrossing Number [13], que consiste en obtenerel mı´nimo nu´mero de cruces entre arcos posiblemediante la reorganizacio´n de los elementos delgrafo y el trazado de sus arcos. Tal problema seclasiﬁca como NP-Completo y, por ello, no seconcibe una solucio´n eﬁciente para este. E´ste yotros aspectos este´ticos, como la distancia o´pti-ma entre los elementos de un grafo, que el grafoocupe demasiado espacio, y la estructura de laslı´neas que representan los arcos, entre otros, sonobjetivos de estudio.crowd no dispone de algoritmos de layout,por lo que es de importancia el desarrollo y es-tudio de los mismos, de manera que se puedacomplementar la herramienta y cumplir en ma-yor medida su objetivo, que en sı´ mismo es asis-tir a los modeladores en el proceso de desarrollode modelos conceptuales y ontologı´as. Para ellose implementara´n soluciones pra´cticas sobre laherramienta para mejorar la visualizacio´n de losdiagramas en la misma, y por otro lado esto per-mitira´ estudiar y adentrarse en mayor medida enla resolucio´n de problemas NP.La estructura de este trabajo es la siguiente.XX Workshop de Investigadores en Ciencias de la Computacio´n 81026 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4A continuacio´n se presenta la lı´nea de investiga-cio´n y los proyectos en los que se enmarca. Enla seccio´n 3, se describen los resultados que seesperan de este trabajo. Finalmente, se detalla laformacio´n en recursos humanos en la tema´ticade la lı´nea de investigacio´n.2. Lı´neas de investigacio´n ydesarrolloEl proyecto de investigacio´n Agentes Inteli-gentes y Web Sema´ntica, UNCo, tiene variosobjetivos generales. Uno de ellos es el de ge-nerar conocimiento especializado en el a´rea deagentes inteligentes y en lo referente a la repre-sentacio´n y el uso del conocimiento en sistemascomputacionales basados en la web, es decir loque se ha llamado la Web Sema´ntica. En estesentido, se estudian te´cnicas de representacio´nde conocimiento y razonamiento, metodologı´asde modelado conceptual y mecanismos para lainteroperabilidad de aplicaciones, tanto a nivelde procesos como de datos. Fundamentalmente,se busca aplicar estos conceptos como soportepara comunidades de desarrollo de ontologı´as.Por otro lado, en el proyecto de investigacio´nIntegracio´n de Informacio´n y Servicios en laWeb se propone investigar y desarrollar meto-dologı´as y herramientas que favorezcan la inter-operabilidad sema´ntica de informacio´n y de ser-vicios en la Web, fundamentados en los u´ltimosavances en el a´rea de lenguajes de representa-cio´n del conocimiento, ontologı´as y modeladoconceptual.Ambos proyectos conﬂuyen en la lı´nea de in-vestigacio´n de este trabajo, en la que se exploraentre otros, sobre temas aﬁnes a la Ingenierı´ade Software basada en Conocimiento y la Inge-nierı´a de Conocimiento. Particularmente, se haescogido experimentar sobre metodologı´as queintegren razonamiento con un front-end gra´ﬁcopara dar soporte a la ingenierı´a de ontologı´as.Concretamente, esta lı´nea de investigacio´ntiene como objetivo principal el desarrollo dealgoritmos de layout automa´tico junto con laimplementacio´n de un prototipo del mismo so-bre la arquitectura de crowd, con el propo´sito deexpandir las funcionalidades de la herramien-ta. Con tal idea, la planiﬁcacio´n consta de va-rias etapas. En un principio se realizara´ un re-levamiento de las tecnologı´as y/o investigacio-nes relevantes [21, 17], de manera que se puedaadquirir los conocimientos necesarios para lo-grar el objetivo, tanto de manera teo´rica, comoes el ana´lisis de problemas subyacentes comoCrossing Number y Optimal Linear Arrange-ment, entre otros posibles, y por otro lado, elestudio de algoritmos y soluciones buscando in-tegrar una nueva solucio´n adaptada a las nece-sidades de crowd.crowd busca implementar un metamodelo[12] que permita trabajar con mu´ltiples lengua-jes (UML, ER y ORM 2 en un principio) y quepuedan interoperar. En este sentido, el algorit-mo de layout a desarrollar se centrara´ en un dia-grama general, es decir, un grafo con elemen-tos uniformes, de manera de aplicar te´cnicas yoptimizaciones de visualizacio´n en tal grafo sinconsiderar las especiﬁcidad de cada diagramaen concreto. A continuacio´n, se tratara´ cada dia-grama de manera especı´ﬁca teniendo en cuen-ta las caracterı´sticas propias de los mismos, susprimitivas gra´ﬁcas y un relevamiento de mode-los conceptuales y ontolo´gicos reales. Asimis-mo, se espera integrar aspectos de visualizacio´ncon aspectos sema´nticos propios de los modelos[20].3. Resultados esperadosEl objetivo general de este trabajo es el desa-rrollo de un algoritmo gene´rico de layout au-toma´tico para la herramienta de soporte a la in-genierı´a ontolo´gica: crowd y ası´ empoderar elproceso de visualizacio´n deﬁnido para esta he-rramienta por los autores de este trabajo [6].Se pretende trabajar en un disen˜o que permi-ta adaptar las funcionalidades de visualizacio´nde las ontologı´as, considerando los diferenteslenguajes de modelado conceptual, como ER,UML y ORM 2.Se espera que los expertos o modeladorespuedan utilizar la herramienta de acuerdo a suspreferencias de notacio´n con una disposicio´nXX Workshop de Investigadores en Ciencias de la Computacio´n 81126 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4apropiada de los elementos visuales de los len-guajes de modelado conceptual, lo que redituara´en una mejor legibilidad y un adecuado enten-dimiento del diagrama, potenciando la comuni-cacio´n entre los interesados en el conocimientode los modelos conceptuales y las ontologı´as.4. Formacio´n de recursos hu-manosSobre la tema´tica de esta lı´nea de investi-gacio´n, uno de los autores de este trabajo esta´desarrollando su tesis de grado de la Licencia-tura en Ciencias de la Computacio´n.Por otra parte, otro de los autores de este tra-bajo esta´ inscripto en el Doctorado en Cienciasde la Computacio´n en la Universidad Nacionaldel Sur y (beca interna doctoral CONICET).Bibliografı´a[1] Martin Auer, Ludwig Meyer, and Ste-fan Bifﬂ. Explorative uml modeling-comparing the usability of uml tools. InICEIS (3), pages 466–474, 2007.[2] Martin Auer, Thomas Tschurtschenthaler,and Stefan Bifﬂ. A ﬂyweight uml mode-lling tool for software development in he-terogeneous environments. IEEE, 2003.[3] Franz Baader. The description logic hand-book: Theory, implementation and ap-plications. Cambridge university press,2003.[4] Grady Booch. The uniﬁed modeling lan-guage user guide. Pearson Education In-dia, 2005.[5] Germa´n Braun, Christian Gimenez, Lau-ra Cecchi, and Pablo Fillottrani. Towardsa visualisation process for ontology-basedconceptual modelling. In ONTOBRAS–Brazilian Ontology Research Seminar(ONTOBRAS), number 1862.[6] Germa´n Braun, Christian Gimenez, LauraCecchi, and Pablo Fillottrani. Towards aVisualisation Process for Ontology-BasedConceptual Modelling. In ONTOBRAS,2016.[7] K Cerans, J Ovcinnikova, Renars Liepins,and A Sprogis. Advanced owl 2.0 onto-logy visualization in owlgred. In Databa-ses and Information Systems VII–SelectedPapers from the 10th Int. Baltic Conferen-ce (DB&IS), 2012.[8] Peter Pin-Shan Chen. The entity-relationship model—toward a uniﬁedview of data. In Readings in artiﬁcial in-telligence and databases, pages 9–36. El-sevier, 1988.[9] Holger Eichelberger. On class diagrams,crossings and metrics. In DagstuhlSeminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum fu¨r Informatik, 2006.[10] Holger Eichelberger and Jurgen Wolff vonGudenberg. Uml class diagrams-state ofthe art in layout techniques. In Procee-ding of Vissoft 2003, International Works-hop on Visualizing Software for Unders-tanding and Analysis. Citeseer, 2003.[11] Pablo R Fillottrani, Enrico Franconi, andSergio Tessaris. The icom 3.0 intelligentconceptual modelling tool and methodo-logy. Semantic Web, 3(3), 2012.[12] Pablo Rube´n Fillottrani and C MariaKeet. Conceptual model interoperability:a metamodel-driven approach. In Interna-tional Workshop on Rules and Rule Mar-kup Languages for the Semantic Web, pa-ges 52–66. Springer, 2014.[13] Michael R Garey and David S Johnson.Crossing number is np-complete. SIAMJournal on Algebraic Discrete Methods,4(3), 1983.[14] Christian Gimenez, Germa´n Braun, Lau-ra Cecchi, and Pablo Rube´n Fillottrani.crowd: A tool for conceptual modellingassisted by automated reasoning. In IIXX Workshop de Investigadores en Ciencias de la Computacio´n 81226 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4Simposio Argentino de Ontologı´as y susAplicaciones (SAOA 2016)-JAIIO 45 (Tresde Febrero, 2016), 2016.[15] Christian Gimenez, Germa´n Braun, LauraCecchi, and Pablo Rube´n Fillottrani. Inter-operabilidad entre lenguajes de modeladoconceptual en crowd. In XIX Workshop deInvestigadores en Ciencias de la Compu-tacio´n (WICC 2017, ITBA, Buenos Aires),2017.[16] Terry Halpin. Orm 2. In OTM Confedera-ted International Conferences On the Mo-ve to Meaningful Internet Systems. Sprin-ger, 2005.[17] Hao Hu, Jun Fang, Zhengcai Lu, FengfeiZhao, and Zheng Qin. Rank-directed la-yout of uml class diagrams. In Procee-dings of the First International Workshopon Software Mining, pages 25–31. ACM,2012.[18] Holger Knublauch, Ray W Fergerson, Na-talya F Noy, and Mark A Musen. Theprote´ge´ owl plugin: An open developmentenvironment for semantic web applica-tions. In International Semantic Web Con-ference. Springer, 2004.[19] Steffen Lohmann, Stefan Negru, and Da-vid Bold. The prote´ge´vowl plugin: onto-logy visualization for everyone. In Euro-pean Semantic Web Conference. Springer,2014.[20] Reyhaneh Raissi. Improving readability ofsoftware model with adding visualized ex-tra information to uml diagram. In Procee-dings of the International Conference onCompute and Data Analysis, pages 28–32.ACM, 2017.[21] Dabo Sun and Kenny Wong. On eva-luating the layout of uml class diagramsfor program comprehension. In ProgramComprehension, 2005. IWPC 2005. Pro-ceedings. 13th International Workshop on,pages 317–326. IEEE, 2005.[22] World Wide Web Consortium (W3C).OWL 2 Web Ontology Language Do-cument Overview (Second Edition),2012. http://www.w3.org/TR/owl2-overview/, accedido en Juniode 2013.XX Workshop de Investigadores en Ciencias de la Computacio´n 81326 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4

Algoritmos de layout automático para una herramienta multi-vistas de modelado ontológico

Centro de Servicios en Gestión de Información

Algoritmos de Layout Automático para una HerramientaMulti-Vistas de Modelado OntológicoGiuliano Marinelli1 Germán Braun1,2,3 Laura Cecchi1Pablo Fillottrani2,4email: giuliano.marinelli@est.fi.uncoma.edu.ar,{german.braun,lcecchi}@fi.uncoma.edu.ar, prf@cs.uns.edu.ar1Grupo de Investigación en Lenguajes e Inteligencia ArtificialDepartamento de Teorı́a de la Computación - Facultad de InformáticaUNIVERSIDAD NACIONAL DEL COMAHUE2Laboratorio de I&D en Ingenierı́a de Software y Sistemas de InformaciónDepartamento de Ciencias e Ingenierı́a de la ComputaciónUNIVERSIDAD NACIONAL DEL SUR3Consejo Nacional de Investigaciones Cientı́ficas y Técnicas (CONICET)4Comisión de Investigaciones Cientı́ficas de la provincia de Buenos Aires (CIC)ResumenLa presente investigación se desarrolla me-diante el trabajo de docentes investigadores dela Universidad Nacional del Comahue (UNCo)y de la Universidad Nacional del Sur (UNS), enel contexto de proyectos de investigación finan-ciados por las universidades indicadas.La complejidad inherente a los modelos con-ceptuales y a las ontologı́as requiren mantenerla legibilidad de dichos modelos. Para cubriresta necesidad y, teniendo en cuenta el tamañode los diagramas en términos de sus primitivasgráficas, algoritmos efectivos y eficientes de la-yout deben ser desarrollados para garantizar lausabilidad de las herramientas.El objetivo de esta lı́nea de investigación esanalizar, diseñar e implementar algoritmos delayout en una herramienta gráfica Web. Para es-to, se profundizará en técnicas y heurı́sticas devisualización basadas en la teorı́a de CrossingNumber y sus variantes, aplicado a los lengua-jes EER, UML y ORM 2.Palabras Clave: Ingenierı́a de Software basadaen Conocimiento, Ontologı́as, Interoperabilidadde Lenguajes de Modelado Conceptual.ContextoEste trabajo está parcialmente financiado porla Universidad Nacional del Comahue, en elmarco del proyecto de investigación Agentes In-teligentes y Web Semántica (04/F014), por laUniversidad Nacional del Sur a través del pro-yecto de investigación Integración de Informa-ción y Servicios en la Web (24/N027) y por elConsejo Nacional de Investigaciones Cientı́fi-cas y Técnicas (CONICET), en el contexto deuna beca interna doctoral. Los proyectos de in-vestigación tienen una duración de cuatro añosy la beca doctoral una duración de 5 años, fina-lizando esta última en abril de 2019.1. IntroducciónEn la actualidad disponemos de herramientasque asisten a los modeladores para la realiza-ción de tareas de modelado conceptual y on-tológico, las cuales brindan un soporte gráfi-co de manera que se simplifique la visualiza-XX Workshop de Investigadores en Ciencias de la Computación 80926 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4ción del contenido y facilite dicha tarea. Estobrinda al modelador mayor rapidez en los pro-cesos cognitivos que realiza a la hora de mo-delar, dándole la posibilidad de tomar mejoresdecisiones de diseño. El modelado implica eldesarrollo de diagramas a través de lenguajesestándar como UML [4], ER [8], ORM 2 [16],entre otros, los cuales son, por lo general, so-portados por las herramientas relevadas en la li-teratura [1, 2].Trabajar con tales herramientas siempre pre-senta alguna dificultad (o poca facilidad), par-ticularmente, cuando se modelan dominios deaplicación reales, donde la cantidad de elemen-tos gráficos es considerable o cuando se reali-za la integración de múltiples modelos. Estosproblemas son los relacionados con la visuali-zación o layout [9, 10], como la distribución delos elementos gráficos en el espacio del diagra-ma, o las formas y tamaños de estos elementos.Herramientas para modelado ontológico talescomo Protégé [18], OWLGrEd [7], VOWL [19]e ICOM [11], poseen algoritmos de layout au-tomático, pero con ciertas limitaciones en rela-ción al enfoque de nuestra propuesta. En primerlugar, OWLViz, OntoGraf y SOVA son plug-ins de Protégé que utilizan grafos como len-guaje gráfico para ontologı́as. Por lo tanto, sibien ofrecen algoritmos visuales, están limita-dos en cuanto a la expresividad gráfica subya-cente. ICOM y OWLGrEd están basados en loslenguajes de modelado conceptual ER y UML,respectivamente. Ambos permiten representarontologı́as OWL [22] y poseen capacidades delayout automático. Sin embargo, solo proveenun conjunto de alineamientos fijos y estáticos.Además, el soporte gráfico de ICOM está ac-tualmente descontinuado. Por último, VOWLtambién implementa una visualización dinámi-ca pero, al igual que los plug-ins previos, usagrafos como modelos para OWL y no lenguajesde modelado conceptual.Existen otras dificultades además de la visua-lización, a la hora de plantear soluciones a pro-blemas de dominio, donde se requiere un análi-sis semántico de los elementos y las relacio-nes que lo definen. Esta es una de las principa-les motivaciones de nuestra herramienta, actual-mente en desarrollo, crowd [14, 15, 5]. crowdda soporte gráfico al modelador en el diseño demodelos conceptuales y ontologı́as con razona-miento automático [3] para validarlos, lo quefacilita la creación y depuración de modelos ba-sados en un dominio especı́fico. La herramientatambién provee soporte gráfico para los lengua-jes ER, UML y ORM 2, junto con un metamo-delo [12], posibilitando la interoperabilidad en-tre ellos.En esta lı́nea de investigación proponemostrabajar sobre una mejora en los algoritmos devisualización de los diagramas, y sobre la re-solución de los problemas que esto plantea. Eneste sentido, utilizaremos la herramienta crowdpara la implementación de nuevos prototipos ysimultáneamente este trabajo permitirá la am-pliación de la herramienta.Las problemáticas principales a abarcar tie-nen un motivo estético sobre la visualización dediagramas (más especı́ficamente sobre grafos) ya la vez subyacen en problemas de mayor ı́ndo-le. Entre los problemas encontramos el núme-ro de cruzamientos entre los arcos que conec-tan los elementos de un grafo, conocido comoCrossing Number [13], que consiste en obtenerel mı́nimo número de cruces entre arcos posiblemediante la reorganización de los elementos delgrafo y el trazado de sus arcos. Tal problema seclasifica como NP-Completo y, por ello, no seconcibe una solución eficiente para este. Éste yotros aspectos estéticos, como la distancia ópti-ma entre los elementos de un grafo, que el grafoocupe demasiado espacio, y la estructura de laslı́neas que representan los arcos, entre otros, sonobjetivos de estudio.crowd no dispone de algoritmos de layout,por lo que es de importancia el desarrollo y es-tudio de los mismos, de manera que se puedacomplementar la herramienta y cumplir en ma-yor medida su objetivo, que en sı́ mismo es asis-tir a los modeladores en el proceso de desarrollode modelos conceptuales y ontologı́as. Para ellose implementarán soluciones prácticas sobre laherramienta para mejorar la visualización de losdiagramas en la misma, y por otro lado esto per-mitirá estudiar y adentrarse en mayor medida enla resolución de problemas NP.La estructura de este trabajo es la siguiente.XX Workshop de Investigadores en Ciencias de la Computación 81026 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4A continuación se presenta la lı́nea de investiga-ción y los proyectos en los que se enmarca. Enla sección 3, se describen los resultados que seesperan de este trabajo. Finalmente, se detalla laformación en recursos humanos en la temáticade la lı́nea de investigación.2. Lı́neas de investigación ydesarrolloEl proyecto de investigación Agentes Inteli-gentes y Web Semántica, UNCo, tiene variosobjetivos generales. Uno de ellos es el de ge-nerar conocimiento especializado en el área deagentes inteligentes y en lo referente a la repre-sentación y el uso del conocimiento en sistemascomputacionales basados en la web, es decir loque se ha llamado la Web Semántica. En estesentido, se estudian técnicas de representaciónde conocimiento y razonamiento, metodologı́asde modelado conceptual y mecanismos para lainteroperabilidad de aplicaciones, tanto a nivelde procesos como de datos. Fundamentalmente,se busca aplicar estos conceptos como soportepara comunidades de desarrollo de ontologı́as.Por otro lado, en el proyecto de investigaciónIntegración de Información y Servicios en laWeb se propone investigar y desarrollar meto-dologı́as y herramientas que favorezcan la inter-operabilidad semántica de información y de ser-vicios en la Web, fundamentados en los últimosavances en el área de lenguajes de representa-ción del conocimiento, ontologı́as y modeladoconceptual.Ambos proyectos confluyen en la lı́nea de in-vestigación de este trabajo, en la que se exploraentre otros, sobre temas afines a la Ingenierı́ade Software basada en Conocimiento y la Inge-nierı́a de Conocimiento. Particularmente, se haescogido experimentar sobre metodologı́as queintegren razonamiento con un front-end gráficopara dar soporte a la ingenierı́a de ontologı́as.Concretamente, esta lı́nea de investigacióntiene como objetivo principal el desarrollo dealgoritmos de layout automático junto con laimplementación de un prototipo del mismo so-bre la arquitectura de crowd, con el propósito deexpandir las funcionalidades de la herramien-ta. Con tal idea, la planificación consta de va-rias etapas. En un principio se realizará un re-levamiento de las tecnologı́as y/o investigacio-nes relevantes [21, 17], de manera que se puedaadquirir los conocimientos necesarios para lo-grar el objetivo, tanto de manera teórica, comoes el análisis de problemas subyacentes comoCrossing Number y Optimal Linear Arrange-ment, entre otros posibles, y por otro lado, elestudio de algoritmos y soluciones buscando in-tegrar una nueva solución adaptada a las nece-sidades de crowd.crowd busca implementar un metamodelo[12] que permita trabajar con múltiples lengua-jes (UML, ER y ORM 2 en un principio) y quepuedan interoperar. En este sentido, el algorit-mo de layout a desarrollar se centrará en un dia-grama general, es decir, un grafo con elemen-tos uniformes, de manera de aplicar técnicas yoptimizaciones de visualización en tal grafo sinconsiderar las especificidad de cada diagramaen concreto. A continuación, se tratará cada dia-grama de manera especı́fica teniendo en cuen-ta las caracterı́sticas propias de los mismos, susprimitivas gráficas y un relevamiento de mode-los conceptuales y ontológicos reales. Asimis-mo, se espera integrar aspectos de visualizacióncon aspectos semánticos propios de los modelos[20].3. Resultados esperadosEl objetivo general de este trabajo es el desa-rrollo de un algoritmo genérico de layout au-tomático para la herramienta de soporte a la in-genierı́a ontológica: crowd y ası́ empoderar elproceso de visualización definido para esta he-rramienta por los autores de este trabajo [6].Se pretende trabajar en un diseño que permi-ta adaptar las funcionalidades de visualizaciónde las ontologı́as, considerando los diferenteslenguajes de modelado conceptual, como ER,UML y ORM 2.Se espera que los expertos o modeladorespuedan utilizar la herramienta de acuerdo a suspreferencias de notación con una disposiciónXX Workshop de Investigadores en Ciencias de la Computación 81126 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4apropiada de los elementos visuales de los len-guajes de modelado conceptual, lo que redituaráen una mejor legibilidad y un adecuado enten-dimiento del diagrama, potenciando la comuni-cación entre los interesados en el conocimientode los modelos conceptuales y las ontologı́as.4. Formación de recursos hu-manosSobre la temática de esta lı́nea de investi-gación, uno de los autores de este trabajo estádesarrollando su tesis de grado de la Licencia-tura en Ciencias de la Computación.Por otra parte, otro de los autores de este tra-bajo está inscripto en el Doctorado en Cienciasde la Computación en la Universidad Nacionaldel Sur y (beca interna doctoral CONICET).Bibliografı́a[1] Martin Auer, Ludwig Meyer, and Ste-fan Biffl. Explorative uml modeling-comparing the usability of uml tools. InICEIS (3), pages 466–474, 2007.[2] Martin Auer, Thomas Tschurtschenthaler,and Stefan Biffl. A flyweight uml mode-lling tool for software development in he-terogeneous environments. IEEE, 2003.[3] Franz Baader. The description logic hand-book: Theory, implementation and ap-plications. Cambridge university press,2003.[4] Grady Booch. The unified modeling lan-guage user guide. Pearson Education In-dia, 2005.[5] Germán Braun, Christian Gimenez, Lau-ra Cecchi, and Pablo Fillottrani. Towardsa visualisation process for ontology-basedconceptual modelling. In ONTOBRAS–Brazilian Ontology Research Seminar(ONTOBRAS), number 1862.[6] Germán Braun, Christian Gimenez, LauraCecchi, and Pablo Fillottrani. Towards aVisualisation Process for Ontology-BasedConceptual Modelling. In ONTOBRAS,2016.[7] K Cerans, J Ovcinnikova, Renars Liepins,and A Sprogis. Advanced owl 2.0 onto-logy visualization in owlgred. In Databa-ses and Information Systems VII–SelectedPapers from the 10th Int. Baltic Conferen-ce (DB&IS), 2012.[8] Peter Pin-Shan Chen. The entity-relationship model—toward a unifiedview of data. In Readings in artificial in-telligence and databases, pages 9–36. El-sevier, 1988.[9] Holger Eichelberger. On class diagrams,crossings and metrics. In DagstuhlSeminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2006.[10] Holger Eichelberger and Jurgen Wolff vonGudenberg. Uml class diagrams-state ofthe art in layout techniques. In Procee-ding of Vissoft 2003, International Works-hop on Visualizing Software for Unders-tanding and Analysis. Citeseer, 2003.[11] Pablo R Fillottrani, Enrico Franconi, andSergio Tessaris. The icom 3.0 intelligentconceptual modelling tool and methodo-logy. Semantic Web, 3(3), 2012.[12] Pablo Rubén Fillottrani and C MariaKeet. Conceptual model interoperability:a metamodel-driven approach. In Interna-tional Workshop on Rules and Rule Mar-kup Languages for the Semantic Web, pa-ges 52–66. Springer, 2014.[13] Michael R Garey and David S Johnson.Crossing number is np-complete. SIAMJournal on Algebraic Discrete Methods,4(3), 1983.[14] Christian Gimenez, Germán Braun, Lau-ra Cecchi, and Pablo Rubén Fillottrani.crowd: A tool for conceptual modellingassisted by automated reasoning. In IIXX Workshop de Investigadores en Ciencias de la Computación 81226 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4Simposio Argentino de Ontologı́as y susAplicaciones (SAOA 2016)-JAIIO 45 (Tresde Febrero, 2016), 2016.[15] Christian Gimenez, Germán Braun, LauraCecchi, and Pablo Rubén Fillottrani. Inter-operabilidad entre lenguajes de modeladoconceptual en crowd. In XIX Workshop deInvestigadores en Ciencias de la Compu-tación (WICC 2017, ITBA, Buenos Aires),2017.[16] Terry Halpin. Orm 2. In OTM Confedera-ted International Conferences On the Mo-ve to Meaningful Internet Systems. Sprin-ger, 2005.[17] Hao Hu, Jun Fang, Zhengcai Lu, FengfeiZhao, and Zheng Qin. Rank-directed la-yout of uml class diagrams. In Procee-dings of the First International Workshopon Software Mining, pages 25–31. ACM,2012.[18] Holger Knublauch, Ray W Fergerson, Na-talya F Noy, and Mark A Musen. Theprotégé owl plugin: An open developmentenvironment for semantic web applica-tions. In International Semantic Web Con-ference. Springer, 2004.[19] Steffen Lohmann, Stefan Negru, and Da-vid Bold. The protégévowl plugin: onto-logy visualization for everyone. In Euro-pean Semantic Web Conference. Springer,2014.[20] Reyhaneh Raissi. Improving readability ofsoftware model with adding visualized ex-tra information to uml diagram. In Procee-dings of the International Conference onCompute and Data Analysis, pages 28–32.ACM, 2017.[21] Dabo Sun and Kenny Wong. On eva-luating the layout of uml class diagramsfor program comprehension. In ProgramComprehension, 2005. IWPC 2005. Pro-ceedings. 13th International Workshop on,pages 317–326. IEEE, 2005.[22] World Wide Web Consortium (W3C).OWL 2 Web Ontology Language Do-cument Overview (Second Edition),2012. http://www.w3.org/TR/owl2-overview/, accedido en Juniode 2013.XX Workshop de Investigadores en Ciencias de la Computación 81326 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4

El Servicio de Difusión de la Creación Intelectual

Algoritmos de Layout Automa´tico para una Herramienta
Multi-Vistas de Modelado Ontolo´gico
Giuliano Marinelli1 Germa´n Braun1,2,3 Laura Cecchi1
Pablo Fillottrani2,4
email: giuliano.marinelli@est.fi.uncoma.edu.ar,
{german.braun,lcecchi}@fi.uncoma.edu.ar, prf@cs.uns.edu.ar
1Grupo de Investigacio´n en Lenguajes e Inteligencia Artificial
Departamento de Teorı´a de la Computacio´n - Facultad de Informa´tica
UNIVERSIDAD NACIONAL DEL COMAHUE
2Laboratorio de I&D en Ingenierı´a de Software y Sistemas de Informacio´n
Departamento de Ciencias e Ingenierı´a de la Computacio´n
UNIVERSIDAD NACIONAL DEL SUR
3Consejo Nacional de Investigaciones Cientı´ficas y Te´cnicas (CONICET)
4Comisio´n de Investigaciones Cientı´ficas de la provincia de Buenos Aires (CIC)
Resumen
La presente investigacio´n se desarrolla me-
diante el trabajo de docentes investigadores de
la Universidad Nacional del Comahue (UNCo)
y de la Universidad Nacional del Sur (UNS), en
el contexto de proyectos de investigacio´n finan-
ciados por las universidades indicadas.
La complejidad inherente a los modelos con-
ceptuales y a las ontologı´as requiren mantener
la legibilidad de dichos modelos. Para cubrir
esta necesidad y, teniendo en cuenta el taman˜o
de los diagramas en te´rminos de sus primitivas
gra´ficas, algoritmos efectivos y eficientes de la-
yout deben ser desarrollados para garantizar la
usabilidad de las herramientas.
El objetivo de esta lı´nea de investigacio´n es
analizar, disen˜ar e implementar algoritmos de
layout en una herramienta gra´fica Web. Para es-
to, se profundizara´ en te´cnicas y heurı´sticas de
visualizacio´n basadas en la teorı´a de Crossing
Number y sus variantes, aplicado a los lengua-
jes EER, UML y ORM 2.
Palabras Clave: Ingenierı´a de Software basada
en Conocimiento, Ontologı´as, Interoperabilidad
de Lenguajes de Modelado Conceptual.
Contexto
Este trabajo esta´ parcialmente financiado por
la Universidad Nacional del Comahue, en el
marco del proyecto de investigacio´n Agentes In-
teligentes y Web Sema´ntica (04/F014), por la
Universidad Nacional del Sur a trave´s del pro-
yecto de investigacio´n Integracio´n de Informa-
cio´n y Servicios en la Web (24/N027) y por el
Consejo Nacional de Investigaciones Cientı´fi-
cas y Te´cnicas (CONICET), en el contexto de
una beca interna doctoral. Los proyectos de in-
vestigacio´n tienen una duracio´n de cuatro an˜os
y la beca doctoral una duracio´n de 5 an˜os, fina-
lizando esta u´ltima en abril de 2019.
1. Introduccio´n
En la actualidad disponemos de herramientas
que asisten a los modeladores para la realiza-
cio´n de tareas de modelado conceptual y on-
tolo´gico, las cuales brindan un soporte gra´fi-
co de manera que se simplifique la visualiza-
XX Workshop de Investigadores en Ciencias de la Computacio´n 809
26 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4
cio´n del contenido y facilite dicha tarea. Esto
brinda al modelador mayor rapidez en los pro-
cesos cognitivos que realiza a la hora de mo-
delar, da´ndole la posibilidad de tomar mejores
decisiones de disen˜o. El modelado implica el
desarrollo de diagramas a trave´s de lenguajes
esta´ndar como UML [4], ER [8], ORM 2 [16],
entre otros, los cuales son, por lo general, so-
portados por las herramientas relevadas en la li-
teratura [1, 2].
Trabajar con tales herramientas siempre pre-
senta alguna dificultad (o poca facilidad), par-
ticularmente, cuando se modelan dominios de
aplicacio´n reales, donde la cantidad de elemen-
tos gra´ficos es considerable o cuando se reali-
za la integracio´n de mu´ltiples modelos. Estos
problemas son los relacionados con la visuali-
zacio´n o layout [9, 10], como la distribucio´n de
los elementos gra´ficos en el espacio del diagra-
ma, o las formas y taman˜os de estos elementos.
Herramientas para modelado ontolo´gico tales
como Prote´ge´ [18], OWLGrEd [7], VOWL [19]
e ICOM [11], poseen algoritmos de layout au-
toma´tico, pero con ciertas limitaciones en rela-
cio´n al enfoque de nuestra propuesta. En primer
lugar, OWLViz, OntoGraf y SOVA son plug-
ins de Prote´ge´ que utilizan grafos como len-
guaje gra´fico para ontologı´as. Por lo tanto, si
bien ofrecen algoritmos visuales, esta´n limita-
dos en cuanto a la expresividad gra´fica subya-
cente. ICOM y OWLGrEd esta´n basados en los
lenguajes de modelado conceptual ER y UML,
respectivamente. Ambos permiten representar
ontologı´as OWL [22] y poseen capacidades de
layout automa´tico. Sin embargo, solo proveen
un conjunto de alineamientos fijos y esta´ticos.
Adema´s, el soporte gra´fico de ICOM esta´ ac-
tualmente descontinuado. Por u´ltimo, VOWL
tambie´n implementa una visualizacio´n dina´mi-
ca pero, al igual que los plug-ins previos, usa
grafos como modelos para OWL y no lenguajes
de modelado conceptual.
Existen otras dificultades adema´s de la visua-
lizacio´n, a la hora de plantear soluciones a pro-
blemas de dominio, donde se requiere un ana´li-
sis sema´ntico de los elementos y las relacio-
nes que lo definen. Esta es una de las principa-
les motivaciones de nuestra herramienta, actual-
mente en desarrollo, crowd [14, 15, 5]. crowd
da soporte gra´fico al modelador en el disen˜o de
modelos conceptuales y ontologı´as con razona-
miento automa´tico [3] para validarlos, lo que
facilita la creacio´n y depuracio´n de modelos ba-
sados en un dominio especı´fico. La herramienta
tambie´n provee soporte gra´fico para los lengua-
jes ER, UML y ORM 2, junto con un metamo-
delo [12], posibilitando la interoperabilidad en-
tre ellos.
En esta lı´nea de investigacio´n proponemos
trabajar sobre una mejora en los algoritmos de
visualizacio´n de los diagramas, y sobre la re-
solucio´n de los problemas que esto plantea. En
este sentido, utilizaremos la herramienta crowd
para la implementacio´n de nuevos prototipos y
simulta´neamente este trabajo permitira´ la am-
pliacio´n de la herramienta.
Las problema´ticas principales a abarcar tie-
nen un motivo este´tico sobre la visualizacio´n de
diagramas (ma´s especı´ficamente sobre grafos) y
a la vez subyacen en problemas de mayor ı´ndo-
le. Entre los problemas encontramos el nu´me-
ro de cruzamientos entre los arcos que conec-
tan los elementos de un grafo, conocido como
Crossing Number [13], que consiste en obtener
el mı´nimo nu´mero de cruces entre arcos posible
mediante la reorganizacio´n de los elementos del
grafo y el trazado de sus arcos. Tal problema se
clasifica como NP-Completo y, por ello, no se
concibe una solucio´n eficiente para este. E´ste y
otros aspectos este´ticos, como la distancia o´pti-
ma entre los elementos de un grafo, que el grafo
ocupe demasiado espacio, y la estructura de las
lı´neas que representan los arcos, entre otros, son
objetivos de estudio.
crowd no dispone de algoritmos de layout,
por lo que es de importancia el desarrollo y es-
tudio de los mismos, de manera que se pueda
complementar la herramienta y cumplir en ma-
yor medida su objetivo, que en sı´ mismo es asis-
tir a los modeladores en el proceso de desarrollo
de modelos conceptuales y ontologı´as. Para ello
se implementara´n soluciones pra´cticas sobre la
herramienta para mejorar la visualizacio´n de los
diagramas en la misma, y por otro lado esto per-
mitira´ estudiar y adentrarse en mayor medida en
la resolucio´n de problemas NP.
La estructura de este trabajo es la siguiente.
XX Workshop de Investigadores en Ciencias de la Computacio´n 810
26 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4
A continuacio´n se presenta la lı´nea de investiga-
cio´n y los proyectos en los que se enmarca. En
la seccio´n 3, se describen los resultados que se
esperan de este trabajo. Finalmente, se detalla la
formacio´n en recursos humanos en la tema´tica
de la lı´nea de investigacio´n.
2. Lı´neas de investigacio´n y
desarrollo
El proyecto de investigacio´n Agentes Inteli-
gentes y Web Sema´ntica, UNCo, tiene varios
objetivos generales. Uno de ellos es el de ge-
nerar conocimiento especializado en el a´rea de
agentes inteligentes y en lo referente a la repre-
sentacio´n y el uso del conocimiento en sistemas
computacionales basados en la web, es decir lo
que se ha llamado la Web Sema´ntica. En este
sentido, se estudian te´cnicas de representacio´n
de conocimiento y razonamiento, metodologı´as
de modelado conceptual y mecanismos para la
interoperabilidad de aplicaciones, tanto a nivel
de procesos como de datos. Fundamentalmente,
se busca aplicar estos conceptos como soporte
para comunidades de desarrollo de ontologı´as.
Por otro lado, en el proyecto de investigacio´n
Integracio´n de Informacio´n y Servicios en la
Web se propone investigar y desarrollar meto-
dologı´as y herramientas que favorezcan la inter-
operabilidad sema´ntica de informacio´n y de ser-
vicios en la Web, fundamentados en los u´ltimos
avances en el a´rea de lenguajes de representa-
cio´n del conocimiento, ontologı´as y modelado
conceptual.
Ambos proyectos confluyen en la lı´nea de in-
vestigacio´n de este trabajo, en la que se explora
entre otros, sobre temas afines a la Ingenierı´a
de Software basada en Conocimiento y la Inge-
nierı´a de Conocimiento. Particularmente, se ha
escogido experimentar sobre metodologı´as que
integren razonamiento con un front-end gra´fico
para dar soporte a la ingenierı´a de ontologı´as.
Concretamente, esta lı´nea de investigacio´n
tiene como objetivo principal el desarrollo de
algoritmos de layout automa´tico junto con la
implementacio´n de un prototipo del mismo so-
bre la arquitectura de crowd, con el propo´sito de
expandir las funcionalidades de la herramien-
ta. Con tal idea, la planificacio´n consta de va-
rias etapas. En un principio se realizara´ un re-
levamiento de las tecnologı´as y/o investigacio-
nes relevantes [21, 17], de manera que se pueda
adquirir los conocimientos necesarios para lo-
grar el objetivo, tanto de manera teo´rica, como
es el ana´lisis de problemas subyacentes como
Crossing Number y Optimal Linear Arrange-
ment, entre otros posibles, y por otro lado, el
estudio de algoritmos y soluciones buscando in-
tegrar una nueva solucio´n adaptada a las nece-
sidades de crowd.
crowd busca implementar un metamodelo
[12] que permita trabajar con mu´ltiples lengua-
jes (UML, ER y ORM 2 en un principio) y que
puedan interoperar. En este sentido, el algorit-
mo de layout a desarrollar se centrara´ en un dia-
grama general, es decir, un grafo con elemen-
tos uniformes, de manera de aplicar te´cnicas y
optimizaciones de visualizacio´n en tal grafo sin
considerar las especificidad de cada diagrama
en concreto. A continuacio´n, se tratara´ cada dia-
grama de manera especı´fica teniendo en cuen-
ta las caracterı´sticas propias de los mismos, sus
primitivas gra´ficas y un relevamiento de mode-
los conceptuales y ontolo´gicos reales. Asimis-
mo, se espera integrar aspectos de visualizacio´n
con aspectos sema´nticos propios de los modelos
[20].
3. Resultados esperados
El objetivo general de este trabajo es el desa-
rrollo de un algoritmo gene´rico de layout au-
toma´tico para la herramienta de soporte a la in-
genierı´a ontolo´gica: crowd y ası´ empoderar el
proceso de visualizacio´n definido para esta he-
rramienta por los autores de este trabajo [6].
Se pretende trabajar en un disen˜o que permi-
ta adaptar las funcionalidades de visualizacio´n
de las ontologı´as, considerando los diferentes
lenguajes de modelado conceptual, como ER,
UML y ORM 2.
Se espera que los expertos o modeladores
puedan utilizar la herramienta de acuerdo a sus
preferencias de notacio´n con una disposicio´n
XX Workshop de Investigadores en Ciencias de la Computacio´n 811
26 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4
apropiada de los elementos visuales de los len-
guajes de modelado conceptual, lo que redituara´
en una mejor legibilidad y un adecuado enten-
dimiento del diagrama, potenciando la comuni-
cacio´n entre los interesados en el conocimiento
de los modelos conceptuales y las ontologı´as.
4. Formacio´n de recursos hu-
manos
Sobre la tema´tica de esta lı´nea de investi-
gacio´n, uno de los autores de este trabajo esta´
desarrollando su tesis de grado de la Licencia-
tura en Ciencias de la Computacio´n.
Por otra parte, otro de los autores de este tra-
bajo esta´ inscripto en el Doctorado en Ciencias
de la Computacio´n en la Universidad Nacional
del Sur y (beca interna doctoral CONICET).
Bibliografı´a
[1] Martin Auer, Ludwig Meyer, and Ste-
fan Biffl. Explorative uml modeling-
comparing the usability of uml tools. In
ICEIS (3), pages 466–474, 2007.
[2] Martin Auer, Thomas Tschurtschenthaler,
and Stefan Biffl. A flyweight uml mode-
lling tool for software development in he-
terogeneous environments. IEEE, 2003.
[3] Franz Baader. The description logic hand-
book: Theory, implementation and ap-
plications. Cambridge university press,
2003.
[4] Grady Booch. The unified modeling lan-
guage user guide. Pearson Education In-
dia, 2005.
[5] Germa´n Braun, Christian Gimenez, Lau-
ra Cecchi, and Pablo Fillottrani. Towards
a visualisation process for ontology-based
conceptual modelling. In ONTOBRAS–
Brazilian Ontology Research Seminar
(ONTOBRAS), number 1862.
[6] Germa´n Braun, Christian Gimenez, Laura
Cecchi, and Pablo Fillottrani. Towards a
Visualisation Process for Ontology-Based
Conceptual Modelling. In ONTOBRAS,
2016.
[7] K Cerans, J Ovcinnikova, Renars Liepins,
and A Sprogis. Advanced owl 2.0 onto-
logy visualization in owlgred. In Databa-
ses and Information Systems VII–Selected
Papers from the 10th Int. Baltic Conferen-
ce (DB&IS), 2012.
[8] Peter Pin-Shan Chen. The entity-
relationship model—toward a unified
view of data. In Readings in artificial in-
telligence and databases, pages 9–36. El-
sevier, 1988.
[9] Holger Eichelberger. On class diagrams,
crossings and metrics. In Dagstuhl
Seminar Proceedings. Schloss Dagstuhl-
Leibniz-Zentrum fu¨r Informatik, 2006.
[10] Holger Eichelberger and Jurgen Wolff von
Gudenberg. Uml class diagrams-state of
the art in layout techniques. In Procee-
ding of Vissoft 2003, International Works-
hop on Visualizing Software for Unders-
tanding and Analysis. Citeseer, 2003.
[11] Pablo R Fillottrani, Enrico Franconi, and
Sergio Tessaris. The icom 3.0 intelligent
conceptual modelling tool and methodo-
logy. Semantic Web, 3(3), 2012.
[12] Pablo Rube´n Fillottrani and C Maria
Keet. Conceptual model interoperability:
a metamodel-driven approach. In Interna-
tional Workshop on Rules and Rule Mar-
kup Languages for the Semantic Web, pa-
ges 52–66. Springer, 2014.
[13] Michael R Garey and David S Johnson.
Crossing number is np-complete. SIAM
Journal on Algebraic Discrete Methods,
4(3), 1983.
[14] Christian Gimenez, Germa´n Braun, Lau-
ra Cecchi, and Pablo Rube´n Fillottrani.
crowd: A tool for conceptual modelling
assisted by automated reasoning. In II
XX Workshop de Investigadores en Ciencias de la Computacio´n 812
26 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4
Simposio Argentino de Ontologı´as y sus
Aplicaciones (SAOA 2016)-JAIIO 45 (Tres
de Febrero, 2016), 2016.
[15] Christian Gimenez, Germa´n Braun, Laura
Cecchi, and Pablo Rube´n Fillottrani. Inter-
operabilidad entre lenguajes de modelado
conceptual en crowd. In XIX Workshop de
Investigadores en Ciencias de la Compu-
tacio´n (WICC 2017, ITBA, Buenos Aires),
2017.
[16] Terry Halpin. Orm 2. In OTM Confedera-
ted International Conferences On the Mo-
ve to Meaningful Internet Systems. Sprin-
ger, 2005.
[17] Hao Hu, Jun Fang, Zhengcai Lu, Fengfei
Zhao, and Zheng Qin. Rank-directed la-
yout of uml class diagrams. In Procee-
dings of the First International Workshop
on Software Mining, pages 25–31. ACM,
2012.
[18] Holger Knublauch, Ray W Fergerson, Na-
talya F Noy, and Mark A Musen. The
prote´ge´ owl plugin: An open development
environment for semantic web applica-
tions. In International Semantic Web Con-
ference. Springer, 2004.
[19] Steffen Lohmann, Stefan Negru, and Da-
vid Bold. The prote´ge´vowl plugin: onto-
logy visualization for everyone. In Euro-
pean Semantic Web Conference. Springer,
2014.
[20] Reyhaneh Raissi. Improving readability of
software model with adding visualized ex-
tra information to uml diagram. In Procee-
dings of the International Conference on
Compute and Data Analysis, pages 28–32.
ACM, 2017.
[21] Dabo Sun and Kenny Wong. On eva-
luating the layout of uml class diagrams
for program comprehension. In Program
Comprehension, 2005. IWPC 2005. Pro-
ceedings. 13th International Workshop on,
pages 317–326. IEEE, 2005.
[22] World Wide Web Consortium (W3C).
OWL 2 Web Ontology Language Do-
cument Overview (Second Edition),
2012. http://www.w3.org/TR/
owl2-overview/, accedido en Junio
de 2013.
XX Workshop de Investigadores en Ciencias de la Computacio´n 813
26 y 27 de Abril de 2018 RedUNCI - UNNE - ISBN 978-987-3619-27-4


Spanish

SEDICI - Repositorio de la UNLP

http://sedici.unlp.edu.ar/bitstream/handle/10915/68008/Documento_completo.pdf?sequence=1

Algoritmos de layout automático para una herramienta multi-vistas de modelado ontológico

Abstract

Similar works

Full text

Available Versions

Servicio de Difusión de la Creación Intelectual

Centro de Servicios en Gestión de Información

El Servicio de Difusión de la Creación Intelectual

SEDICI - Repositorio de la UNLP