The problem of updating ontologies has received increased attentionin recent years. In the approaches proposed so far, either the update language isrestricted to (sets of) atomic updates, or, where the full SPARQL Update languageis allowed, the TBox language is restricted to RDFS where no inconsistencies canarise. In this paper we discuss directions to overcome these limitations...

This report describes a new language for distributed programming, the IOA language, together with a high-level design and preliminary implementation for a suite of tools, the IOA toolset, to support the production of high-quality distributed software. The language and tools are based on the I/O automaton model, which has been used to describe and verify distributed algorithms. The toolset suppo...

The problem of nding documents that are written in a lan guage that the searcher cannot read is perhaps the most challenging application of Cross Language Information Retrieval CLIR technol ogy The rst Cross Language Evaluation Forum CLEF provided an excellent venue for assessing the performance of automated CLIR tech niques but little is known about how searchers and systems might in teract to...

This paper introduces ECM a new coordination model and one of his language binding STL STL is aimed at making par allel and distributed programs construction easier by providing a set of powerful tools that clearly describe the coordination part of an applica tion These tools embedded in an object oriented computation language enable distributed components to be dynamically recon gured STL acts...

Static analysis is most frequently used for compiler optimisa-tion, but it can also be used to derive properties which support the validation of software. For this purpose, the commonly available analysis tools have been based on a computational model involving a static set of named variables. This is inadequate for any language involving structures and pointers. However, considerable work has ...

SOFL Structured Object Based Formal Language is a formal language and method for practical systems development As a language it integrates data ow diagrams VDM SL and Petri nets to provide a graph ical and textural formal notation for speci cation con struction Previous publications introducing SOFL are based on its informal semantics In this paper we pro vide a formal operational semantics whi...

P children are a largely undocumented population group because they are hard to identify in the standard statistical sources (census, registration data) (see box 1). Now, however, the picture has been filled out by the “Family History Survey” linked to the 1999 population census. The survey was designed by the Insee with assistance from Ined, and covers a sample of 380,000 people over the age o...