SimDL
From semanticweb.org
| SIM-DL | |
|---|---|
| http://sim-dl.sourceforge.net/ | |
| Status: | beta |
| Last release: | 2.3.1 (Sep 13 2008) |
| License: | GPL |
| Affiliation: | University of Muenster |
| Web resources | |
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.
