Section: Software


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.