[DL] [ANN] Konclude 0.5.0 reasoner
andreas.steigmiller at uni-ulm.de
Mon Nov 18 15:40:00 CET 2013
We are happy to announce the first release (v0.5.0) of Konlcude , 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 .
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 .
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl