Participants : Alain Gutierrez, Michel Chein, Michel Leclère, Marie-Laure Mugnier, Madalina Croitoru.
Cogui (http://www.lirmm.fr/cogui ) is a tool for building and verifying knowledge bases. It is a freeware written in Java (version 1.2, 2005–2010 GPL Licence). Currently, it supports Conceptual Graphs and import/export in RDFS. It relies on CoGITaNT for reasoning tasks.
Here are the major evolutions of the version delivered this year:
XML Datatypes are now supported.
The use of URIrefs as identifiers and the notion of namespaces have been introduced to facilitate interoperability with RDF/XML.
A pure java solver has been implemented to preserve reasoning capabilities on all platforms.
A scripting language has been introduced on top of Cogui to satisfy specific applications requirements and facilitate the writing of prototypes. Scripts can be serialized in Cogui projects and give end-users the ability to manipulate objects of the knowledge base and use reasoning features through the Cogui core API.