Semantic Verificator Prototype

This is the first version of the DEXPI verificator. It can take a Proteus XML file (currently supporting Proteus XML schema 4.0.1). The verificator will upload the XML file to the server and try to verify the file. If the file could be read correctly, a website with verification information will be shown. The verificator translates the XML file into RDF triples according to the DEXPI Information Model (See DEXPI specification for more information). Semantic Rules will be added to the given instance information and a reasoner will generate additional information.

Login ID: