推理系统Konclude

Konclude是一个用于大型表达性本体的高性能推理器。支持的本体语言的形式化特征是描述逻辑（DL）SROIQV（D）。换句话说，Konclude可以处理所有的Web本体语言(OWL 2号机组)几乎所有的数据类型。此外，Konclude支持名义模式，该模式允许通过使用通过变量扩展的给定本体语法来表达任意DL-safe规则。

Konclude可以通过以下方式使用OWLink（OWLlink）作为OWLink服务器、SPARQL端点以及通过命令行。对于使用OWL API的应用程序OWLlink OWL API适配器可用于与Konclude服务器链接。到目前为止，推理引擎提供了最常见的推理服务，如分类、实现、查询子类、类实例或个人类型。

并行、高性能推理

Konclude实现了声音的高度优化版本，并通过复杂的预处理方法和表格饱和度增强了完整的表格演算。此外，该系统可以利用共享内存环境中的多个内核。尽管仍在开发中，但Konclude在所有OWL 2语言配置文件中的本体的常见推理任务中表现出色。例如，Konclude在2013年OWL Reasoner评估比赛中赢得了9个基准类别中的3个(2013年矿石储量)2014年OWL Reasoner评估比赛6个学科中的5个(2014年矿石储量). 再次，在2015年矿石储量康clude赢得了6个学科中的4个（其余两个学科排名第二）。