[DL] [ANN] Konclude reasoner version 0.6.0
andreas.steigmiller at uni-ulm.de
Thu Sep 18 11:01:32 CEST 2014
We are happy to announce the new release v0.6.0 of the Konlcude reasoner  for the Description Logic SROIQV(D), i.e., OWL 2 extended with nominal schemas. Konclude is open source and freely available at http://konclude.com/ under the GNU Lesser GPL v2.1 .
The new release contains bug fixes, many performance improvements, and several new features including datatype support, OWL 2 Functional Style syntax support, and loading of ontologies via HTTP (see homepage  or readme for more details).
Konclude is implemented in C++/Qt and is designed for parallel and high-performance reasoning. The current release already supports all basic reasoning tasks such as consistency/satisfiability checking, classification, and realisation. Konclude can be used via OWLlink and Command Line; OWL API-based applications can link to Konclude via the OWLlink OWL API Adapter .
Please note that Konclude is still under development. We welcome any kind of feedback (e.g., questions, comments, feature requests, bug reports) sent to support(at)konclude(dot)com.
More information about the dl