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.
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.
[ Register as a new user ]
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.