[DL] [ANN] Konclude reasoner version 0.6.0

[Andreas Steigmiller]

Dear all,

We are happy to announce the new release v0.6.0 of the Konlcude reasoner [1] 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 [2].

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 [1] 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 [3].

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.

Best regards,

Konclude Team

[1] http://konclude.com/
[2] http://www.gnu.org/licenses/
[3] http://owllink-owlapi.sourceforge.net/index.html