OntoWebML: A Knowledge Base Management System for WSML Ontologies

This paper addresses the topic of defining a knowledge base system for representing and managing ontologies according to the WSMO conceptual model. We propose a software engineering approach to this problem, by implementing: (i) the relational model for ontologies that corresponds to the WSML representation of WSMO; (ii) the usage of a well known Web modeling language called WebML, extended by a set of new components for exploiting ontological contents in Web services and Web applications design; and (iii) a Web-based content management system for ontologies editing and reasoning, implemented using the abovementioned software engineering approach

A Meta-Model for Ontologies with ORM2

Abstract. Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory

Asynchronous Web Services Communication Patterns in Business Protocols

Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-established implementation platform for communication between applications. This paper studies the existing business protocols for Web services interactions, compares their expressive power, extracts a set of patterns for implementing asynchrony, studies the trade-offs and the typical usage scenarios of the various patterns, and finally proposes a sample application that has been implemented based on these patterns. The application has been designed using a high-level modeling language for Web applications, thus showing that the studied patterns can be applied at a conceptual level as well as directly at implementation level