Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards a Visual SPARQL-DL Query Builder

Querying ontologies is an every-day activity that users need. This interaction will improve when the query is more expressive and easier to develop. For this purpose, a visual query language is an ideal mean for users and ontology engineers for creating queries taking advantage of the easy-to-understand and low time and cost characteristics, specially, for users which does not know textual query languages. On the other side, SPARQL-DL is a powerful and expressive textual query language for OWL-DL based ontologies that can combine TBox/ABox/RBox queries. Considering the advantage of both, we present in this work a visual query language that can be interpreted as SPARQL-DL sentences and thus being used for querying ontologies for its structure and/or instance information. Altogether, we use this idea to create a modified version of crowd, a Web modelling tool with reasoning support, that enables to implement and tests the presented graphical language along with the needed SPARQL-DL support for solving queries with the user’s provided OWL 2 ontologies in any of its linearisations.X Workshop Innovación en Sistemas de Software (WISS)Red de Universidades con Carreras en Informática (RedUNCI

Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering

The definition of suitable visual paradigms for ontology modelling is still an open issue. Despite obvious differences between the expressiveness of conceptual modelling (CM) languages and ontologies, many proposed tools have been based on UML, EER and ORM. Additionally, all of these tools support only one CM as visual language, reducing even more their modelling capabilities. In previous works, we have presented crowd as a Web architecture for graphical ontology designing in UML and logical reasoning to verify the relevant properties of these models. The aim of this tool is to extend the reasoning capabilities on top of visual representations as much as possible. In this paper, we present an extended crowd architecture and a new prototype focusing on an ontology-driven metamodel to enable different CMs visual languages for ontology modelling. Thus facilitating inter-model assertions across models represented in different languages, converting between modelling languages and reasoning on them. Finally, we detail the new architecture and demonstrate the usage of the prototype with simple examples.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards a Visual SPARQL-DL Query Builder

Querying ontologies is an every-day activity that users need. This interaction will improve when the query is more expressive and easier to develop. For this purpose, a visual query language is an ideal mean for users and ontology engineers for creating queries taking advantage of the easy-to-understand and low time and cost characteristics, specially, for users which does not know textual query languages. On the other side, SPARQL-DL is a powerful and expressive textual query language for OWL-DL based ontologies that can combine TBox/ABox/RBox queries. Considering the advantage of both, we present in this work a visual query language that can be interpreted as SPARQL-DL sentences and thus being used for querying ontologies for its structure and/or instance information. Altogether, we use this idea to create a modified version of crowd, a Web modelling tool with reasoning support, that enables to implement and tests the presented graphical language along with the needed SPARQL-DL support for solving queries with the user’s provided OWL 2 ontologies in any of its linearisations.X Workshop Innovación en Sistemas de Software (WISS)Red de Universidades con Carreras en Informática (RedUNCI

Evidence-based lean conceptual data modelling languages

Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, we specify minimal logic profiles availing of this extended process, including the ontological commitments embedded in the languages, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL). The profiles characterise the essential logic structure needed to handle the semantics of conceptual models, therewith enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable DL ALNI). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models

Glucocorticoids Induce Molecular and Phenotypical Changes in Visceral Adipose Tissue When Consuming a High Fat Diet

Visceral adipose tissue (VAT) physiology is negatively affected by chronic glucocorticoid (GC) usage, and is exacerbated by a Western diet. However, the impact of omega-3 supplimentation into a Western diet, during chronic GC usage, remains unknown. Therefore, we determined the impact of both diets ( Western vs omega-3 supplimented) in conjunction with chronic GCs, on VAT physiology. Sixty-four male C57BL/6 mice (n=8-16/group) were subjected to 4-weeks of dietary intervention (high fat lard [HFL] vs. high fat fish oil [HFO], with or without prednisolone [40mg/kg/m2] daily). We hypothesized that omega-3 supplimentation would protect VAT physiology from chronic GC-induced negative effects. Overall, both HFO groups gained less body weight, displayed less VAT and smaller adipocytes, retained a greater percentage of M2-polarized macrophages, and exhibited beneficial alterations in gene expression as compared to both HFL groups. Our data indicate that VAT physiology is protected by an increase in dietary omega-3s, irrispective of GC usage

An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2

Software interoperability and application integration can be realized \linebreak through using their respective conceptual data models, which may be represented in different conceptual data modeling languages. Such modeling languages seem similar, yet are known to be distinct. Several translations between subsets of the languages' features exist, but there is no unifying framework that respects most language features of the static structural components and constraints. We aim to fill this gap. To this end, we designed a common and unified ontology-driven metamodel of the static, structural components and constraints in such a way that it unifies ER, EER, UML Class Diagrams v2.4.1, and ORM and ORM2 such that each one is a proper fragment of the consistent metamodel. The paper also presents some notable insights into the relatively few common entities and constraints, an analysis on roles, relationships, and attributes, and other modeling motivations are discussed. We describe two practical use cases of the metamodel, being a quantitative assessment of the entities of 30 models in ER/EER, UML, and ORM/ORM2, and a qualitative evaluation of inter-model assertions