[DL] [ANN] Konclude 0.5.0 reasoner

[Andreas Steigmiller]

Dear all,

We are happy to announce the first release (v0.5.0) of Konlcude [1], which is a new reasoner for the Description Logic SROIQV (basically OWL 2 without datatypes but with nominal schemas). Konclude is open source and freely available at http://konclude.com/ under the GNU Lesser GPL v3.0 [2].

Konclude is implemented in C++/Qt and is designed for parallel and high-performance reasoning. The current distribution 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, 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20131118/c0b32873/attachment.htm>