Projects of LISI

DaFOE4App

The DaFOE4App (Differential and Formal Ontology Editor For Applications) technical platform is a set of tools including an ontology editor that considers the whole issue of the semantics of those ontologies, through epistemological issues related to high level formal concepts in relation to a domain point of view, and through works on textual corpuses.

Thus, it provides a formalized ontology that can be processed in any ontology editors compliant with the W3C ontology standard languages (OWL).

Start Period : January 2007
Duration : 36 months
Project link : http://dafoe4app.fr/

 

e-WOK HUB

The e-WOK_HUB project1 aims at developing a set of communicating portals (called hubs), offering both: (a) web applications accessible to end-users through online interfaces, and (b) web services accessible to applications through programmatic interfaces. The e-WOK_HUB system relies on such a serviceoriented architecture (SOA) where business applications are built on service composition and orchestration and where a hub can be considered as a warehouse of semantic business resources.

Start Period : Juin 2006
Duration : 36 mois
Project link : http://www-sop.inria.fr/edelweiss/projects/ewok/

 

PLIB

The Parts Library standardization initiative was launched at the ISO level in 1990. Its goal was to develop a computer-interpretable representation of parts library data to enable a full digital information exchange between suppliers and users.

Project link : http://www.plib.ensma.fr/

 

VERBATIM

Start Project: December 2003
Duration: 36 months
Type: RNTL
Project link: http://iihm.imag.fr/nigay/VERBATIM/

 


Identification Form

Search


Newsflash

Le laboratoire organise le 9 au 11 juin les 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels (site).


Laboratoire du LISI - EA - UPRES 1232 - ENSMA - BP40109 - 86961 Futuroscope - FRANCE | Ph. : +33 (0)5.49.49.80.63 | Fax. : +33 (0)5.49.49.80.64