Christine Golbreich

Learn More
A large library of biomedical ontologies has been developed in the OBO format, including important ontologies such as the Gene Ontology (GO). These resources have the potential to contribute to the Semantic Web in the life sciences domain. In particular, they allow the annotation of distributed experimental data in using a controlled and shared vocabulary.(More)
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear specification for OBO syntax and semantics via a mapping to OWL. This mapping also allows us to apply existing Semantic Web tools and techniques to OBO. We show that Semantic Web(More)
Due to the numerous health documents available on the Web, information retrieval remains problematic with existing tools. This paper is positioned within the context of the CISMeF project (acronym of Catalogue and Index of French-speaking Medical Sites) and of a future Semantic Web. In CISMeF the resources are described using a set of metadata based on a(More)
TFL the Task Formal Language has been developed for integrating the static and dynamic aspects of Knowledge Based Systems This paper focuses on the formal speci cation of dynamic behaviour Although fundamental in Knowledge Based System the strategic reasoning was rather neglected until now by the existing formal speci cations Most languages were generally(More)
The presentation concerns a draft implementation with Protégé OWL Plugin for SWRL, based on the RDF concrete syntax of the SWRL proposal. A first prototype of a SWRL Tab Widget has been achieved. It is a bridge between Protégé OWL, Racer, and Jess, intended to help reasoning with SWRL rules combined with OWL ontologies. A small example is given including an(More)
This paper describes an interactive system for the semantic annotation of brain magnetic resonance images. The system uses both a numerical atlas and symbolic knowledge of brain anatomical structures depicted using the Semantic Web standards. This knowledge is combined with graphical data, automatically extracted from the images by imaging tools. The(More)
The objective of this study is to compare description logics (DLs) and frames for representing large-scale biomedical ontologies and reasoning with them. The ontology under investigation is the Foundational Model of Anatomy (FMA). We converted it from its frame-based representation in Protégé into OWL DL. The OWL reasoner Racer helped identify unsatisfiable(More)