Home--- SEKT--- Mission--- Partners--- Papers--- Download--- Gallery--- Links

XDIG: an Extended DIG Description Logic for Prolog

PION: a Reasoner/System for Processing Inconsistent ONtologies.

MORE: a Multi-version Ontology REasoner

DION: a Debugger of Inconsistent ONtologies

This page is under construction.