|Last release:||2.3.1 (Sep 13 2008)|
|Affiliation:||University of Muenster|
SIM-DL is an open Java-based similarity reasoner for various description logics (from the ALC family (up to ALCHQ)). The reasoner can be used via DIG or a Protégé plug-in called SimCat. SIM-DL also supports classical subsumption reasoning and satisfiability checking.