Exmo XML resources

A portfolio of core technologies for manipulating formalised knowledge through XML are developped within the Exmo action. It can be accessed through the following pages:

Troeps XML DTDs

For importing/exporting knowledge from the Troeps object-based knowledge representation system.

Syllogism description languages

A simple language for illustration purposes.

Escrire project pivot language DTD

Several pivot knowledge representation language and our Servlet experimental platform. It is meant to dispatch knowledge to various representation languages (including Troeps) in the Escrire cooperative action.

Description logics markup language

A large choice of description logics all presented in a common framework. Not only the syntax is available but also the semantics (through DSD). Also includes various transformations between these logics (to be used as a testbench for DSD).

Document semantic description

A markup language for defining set-based model-theoretic semantics of DTD. To be used for proving properties of transformations.

Transmorpher

A system for expressing XSLT extentions in order to specify very general transformations of XML files.