SONIC :: simple ontology non-standard inference component

Introducing SONIC
SONIC is a prototype system that implements the so-called non-standard inferences for Description Logics. Currently, SONIC offers two inferences, namely the least common subsumer (lcs) and the approximation inference. These inferences are available as a plug-in for the ontology editor OilEd.

Getting started : [ Download SONIC | Publications on SONIC| Contact us ]

Download SONIC
You can download and use SONIC freely for research and teaching purpose. It would be interesting for us to know in which applications SONIC is used, thus we require that users register before they can download SONIC. To register you only need a valid email-address. After registration you receive a password, which you can use to download SONIC.

In order to install and run SONIC, you need to have the following components installed on your system :

Download one of the following files according to your LISP installation :

Documentation :

SONIC Copyright (C) 2007 Chair of Automata Theory at TU Dresden and Anni-Yasmin Turhan.

SONIC comes with ABSOLUTELY NO WARRANTY; use at your own risk. Commercial use is prohibited; contact the authors for licensing.


Publications on SONIC

Contacts
Your questions and comments on SONIC are welcome. Please feel free to contact us.

This page has been updated on 2007-10-30 by Anni-Yasmin Turhan.