Harmonizing Software Standards with a Semantic Model

The application of standards in the software development process supports interoperability between systems. Maintenance of standards must be guaranteed on the organisational and technical level. The use of semantic technologies can contribute to the standard maintenance process by providing a harmonizing bridge between standards of different knowledge domains and languages and by providing a single point of administration for standard domain concepts. This paper describes a case study of the creation of a semantic layer between software standards for water management systems in The Netherland

Ontologies in domain specific languages : a systematic literature review

The systematic literature review conducted in this paper explores the current techniques employed to leverage the development of DSLs using ontologies. Similarities and differences between ontologies and DSLs, techniques to combine DSLs with ontologies, the rationale of these techniques and challenges in the DSL approaches addressed by the used techniques have been investigated. Details about these topics have been provided for each relevant research paper that we were able to investigate in the limited amount of time of one month. At the same time, a synthesis describing the main trends in all the topics mentioned above has been done

Towards a meaningful manufacturing enterprise metamodel: a semantic driven framework

This paper presents a deep investigation and an interdisciplinary analysis of the collaborative networked enterprise engineering issues and modelling approaches related to the relevant aspects of the semantic web technology and knowledge strategies. The paper also suggests a novel framework based on ontology metamodelling, knowledge model discovery, and semantic web infrastructures, architectures, languages, and systems. The main aim of the research enclosed in this paper is to bridge the gaps between enterprise engineering, modelling, and especially networking by intensively applying semantic web technology based on ontology conceptual representations and knowledge discovery. The ontological modelling approaches together with knowledge strategies such as discovery (data mining) have become promising for future enterprise computing systems. The related reported research deals with the conceptual definition of a semantic-driven framework and a manufacturing enterprise metamodel (ME_M) using ontology, knowledge-driven object models, standards, and architectural approaches applied to collaborative networked enterprises. The conceptual semantic framework and related issues discussed in this paper may contribute towards new approaches of enterprise systems engineering and networking as well as applied standard and referenced ontological models

Towards Sharing Rules Between OWL/SWRL and UML/OCL

The paper presents a metamodel-driven model transformation approach to interchanging rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bidirectional transformations between OWL/SWRL and R2ML and between UML/OCL and R2ML. Besides describing mapping rules between three rule languages, the paper proposes the implementation by using ATLAS Transformation language (ATL) and describes the whole transformation process involving several MOF-based metamodels, XML schemas, EBNF grammars

Onto2DB: towards an eclipse plugin for automated database design from an ontology

Ontologies are spreading more and more in the field of information technologies as a privileged solution allowing the formalization of knowledge. The theoretical model of ontologies is most promising. They are increasingly ubiquitous given the benefits they present. Despite the proliferation of research proposing approaches dedicated to the design of a database from an ontology, the tools to design a database from an ontology are rare or inaccessible. Thus, in this contribution, we present our approach for the development of an Eclipse Plug-in, in order to automatically generate a conceptual model of a relational database from an ontology. To evaluate the usefulness of our approach, we used our resulting Eclipse Plug-in to automatically generate a conceptual model of a relational database from an ontology, customize it, and automatically generate the corresponding SQL script for Data Definition. The results of this experiment showed that our Plug-in constitutes a concretization of our approach and a means of automatic translation from the ontological model to the relational model

Matching Metamodels with Semantic Systems - An Experience Report

Abstract: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Consequently, matching tools enabling automatic matching of various kinds of schemas are available. In the field of model-driven engineering, in contrast to schema and ontology integration, the integration of modeling languages relies on manual tasks such as writing model transformation code, which is tedious and error-prone. Therefore, we propose the application of ontology and schema matching techniques for automatically exploring semantic correspondences between metamodels, which are currently the modeling language definitions of choice. The main focus of this paper is on reporting preliminary results and lessons learned by evaluating currently available ontology matching tools for their metamodel matching potential.

Reference ontologies for interoperability across multiple assembly systems

The role of information and communication technologies (ICTs) is crucial for future manufacturing organisations in order to support effective collaboration and information sharing. However, the contemporary ICT-based systems lack the required ability to adequately support interoperability across multiple domain systems. The capability of such ICT-based systems to interoperate is impeded by the semantic conflicts arising from loosely defined meanings and intents of the participating system concepts. The aim of this paper is to investigate the interoperability of assembly systems at multiple levels of concept specialisations using the concept of a formal reference ontology. Formal ontologies are providing a promising way to computationally capture the domain meanings which can subsequently provide a base to support interoperability across multiple systems and in our case multiple assembly systems. This paper takes the example of manufacturing bill of materials concept and three different domain-specific interpretations to explore and demonstrate the potential of formal reference ontologies to support interoperability

SBVR to OWL 2 Mappings - An Automatable and Structural-Rooted Aproach

La amplia aplicabilidad del mapeo de reglas de negocio en sentencias ontológicas ha sido recientemente reconocida. Algunas de las aplicaciones más importantes son: (1) la utilización de razonadores ontológicos para probar la consistencia de la información del dominio del negocio, (2) la generación de una ontología destinada a ser utilizada en la etapa de análisis del proceso de desarrollo de software, y (3) la posibilidad de encapsular la especificación declarativa del conocimiento del negocio en un sistema de información mediante la implementación de una ontología. El lenguaje denominado Semantics of Business Vocabulary and Business Rules (SBVR) brinda soporte a tal enfoque al proveer al experto del negocio una forma lingüistica de describir semánticamente los conceptos y especificar las reglas de negocio, en forma independiente al diseño del sistema de información. Aunque trabajos previos han presentado algunas propuestas, resta definir un enfoque exhaustivo y automatizable de tales mapeos. Este trabajo presenta un conjunto amplio y detallado de transformaciones que permiten la generación automatizable de una ontología implementada en OWL 2, partiendo de la especificación SBVR del dominio del negocio. Tales transformaciones están basadas en la especificación estructural de ambos estándars, y son descriptas mediante un caso de estudio. Se ha realizado un ejemplo real de validación, abordando la factibilidad de los mapeos mediante la evalución de la calidad de la ontología resultante.Wide applicability of mapping business rules expressions to ontology statements have already been recognized. Some of the most important applications are: (1) using of ontology reasoners to prove the consistency of business domain information, (2) generation of an ontology intended to be used in the analysis stage of a software development process, and (3) the possibility of encapsulate the declarative specication of business knowledge into information software systems by means of an implemented ontology. The Semantics of Business Vocabulary and Business Rules (SBVR) supports that approach by providing business people with a linguistic way to semantically describe business concepts and specify business rules in an independent way of any information system design. Previous work have presented some proposals but an exhaustive and automatable approach for them still is lacking. This work presents a broad and detailed set of transformations that allows the automatable generation of an OWL 2 ontology from the SBVR specications of a business domain. Such transformations are rooted on the structural specication of both standards and are depicted through a case study. A real case validation example was performed, approaching the feasibility of the mappings by the quality assessment of the developed ontology.Fil: Reynares, Emiliano. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Tecnologica Nacional. Facultad Regional Santa Fe. Centro de Investigacion y Desarrollo de Ingenieria en Sistemas de Informacion; ArgentinaFil: Caliusco, Maria Laura. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Tecnologica Nacional. Facultad Regional Santa Fe. Centro de Investigacion y Desarrollo de Ingenieria en Sistemas de Informacion; ArgentinaFil: Galli, Maria Rosa. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentin