Developing Predictive Molecular Maps of Human Disease through Community-based Modeling

The failure of biology to identify the molecular causes of disease has led to disappointment in the rate of development of new medicines. By combining the power of community-based modeling with broad access to large datasets on a platform that promotes reproducible analyses we can work towards more predictive molecular maps that can deliver better therapeutics

A logic programming framework for modeling temporal objects

Published versio

Mogwaï: a Framework to Handle Complex Queries on Large Models

International audienceWhile Model Driven Engineering is gaining more industrial interest, scalability issues when managing large models have become a major problem in current modeling frameworks. Scalable model persistence has been achieved by using NoSQL backends for model storage, but existing modeling framework APIs have not evolved accordingly, limiting NoSQL query performance benefits. In this paper we present the Mogwaï a scalable and efficient model query framework based on a direct translation of OCL queries to Gremlin, a query language supported by several NoSQL databases. Generated Gremlin expressions are computed inside the database itself, bypassing limitations of existing framework APIs and improving overall performance, as confirmed by our experimental results showing an improvement of execution time up to a factor of 20 and a reduction of the memory overhead up to a factor of 75 for large models

Temporal Data Modeling and Reasoning for Information Systems

Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to model and process time and calendar data is essential for many applications like appointment scheduling, planning, Web services, temporal and active database systems, adaptive Web applications, and mobile computing applications. This article aims at three complementary goals. First, to provide with a general background in temporal data modeling and reasoning approaches. Second, to serve as an orientation guide for further specific reading. Third, to point to new application fields and research perspectives on temporal knowledge representation and reasoning in the Web and Semantic Web

State-of-the-art on evolution and reactivity

This report starts by, in Chapter 1, outlining aspects of querying and updating resources on the Web and on the Semantic Web, including the development of query and update languages to be carried out within the Rewerse project. From this outline, it becomes clear that several existing research areas and topics are of interest for this work in Rewerse. In the remainder of this report we further present state of the art surveys in a selection of such areas and topics. More precisely: in Chapter 2 we give an overview of logics for reasoning about state change and updates; Chapter 3 is devoted to briefly describing existing update languages for the Web, and also for updating logic programs; in Chapter 4 event-condition-action rules, both in the context of active database systems and in the context of semistructured data, are surveyed; in Chapter 5 we give an overview of some relevant rule-based agents frameworks

All Part of the Service? Addressing Data Longevity in Service Oriented Architectures

Software as a Service is gaining increasing pre-eminence as a means of delivery of software for business processes. Indeed, as standards develop in this area, the possibility arises that web based Service Oriented Architectures will develop allowing businesses to source services from multiple providers, and integrate them as required. The positive implications of these developments for supporting business flexibility have been widely discussed. However, there may be other business needs that are less well served. In particular, the need to support long term, sometimes permanent data – here termed data longevity- may not be well addressed. This paper reviews literature to identify seven requirements for data longevity, and to assess how well service oriented architectures fulfil those requirements. It finds gaps, and suggests areas for future research

Citation endorsement framework for digital repository

Digital repository is one of the useful platform to manage digital materials especially conference proceedings. To date, conference proceedings have been published as printed and digital versions, the digital version has been stored in digital repository and the citation information of each article is collected. The limitation of the existing model is that the citation is automatically retrieved from certain databases and the other authors of that article who have information about the citation cannot update the information in to the repository. Therefore this study proposed citation endorsement framework for digital repository. Rapid application development (RAD) was used for the system development and interview were done to get the expert review of the system. The thematic analysis of the expert review shows that the participants agreed that the new digital repository can improve the citation indexing by allowing the author to update the citation information

Expressive Policy Analysis with Enhanced System Dynamicity

Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Copyright 2009 ACM