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

A Framework for Interoperability Between Models with Hybrid Tools

Complex system development and maintenance face the challenge of dealing with different types of models due to language affordances, preferences, sizes, and so forth that involve interaction between users with different levels of proficiency. Current conceptual data modelling tools do not fully support these modes of working. It requires that the interaction between multiple models in multiple languages is clearly specified to ensure they keep their intended semantics, which is lacking in extant tools. The key objective is to devise a mechanism to support semantic interoperability in hybrid tools for multi-modal modelling in a plurality of paradigms, all within one system. We propose FaCIL, a framework for such hybrid modelling tools. We design and realise the framework FaCIL, which maps UML, ER and ORM2 into a common metamodel with rules that provide the central point for management among the models and that links to the formalisation and logic-based automated reasoning. FaCIL supports the ability to represent models in different formats while preserving their semantics, and several editing workflows are supported within the framework. It has a clear separation of concerns for typical conceptual modelling activities in an interoperable and extensible way. FaCIL structures and facilitates the interaction between visual and textual conceptual models, their formal specifications, and abstractions as well as tracking and propagating updates across all the representations. FaCIL is compared against the requirements, implemented in crowd 2.0, and assessed with a use case. The proof-of-concept implementation in the web-based modelling tool crowd 2.0 demonstrates its viability. The framework also meets the requirements and fully supports the use case

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