康克鲁德

Konclude是一个高性能的推理机，用于大型和表达性的本体论。支持的本体语言的形式特征是描述逻辑（DL）SROIQV（D）。换句话说，Konclude可以处理几乎所有数据类型的Web本体语言（owl2）。此外，Konclude支持名义模式，允许通过使用变量扩展的给定本体语法来表达任意DL安全规则。Konclude可以通过ownlink用作OWLlink服务器，也可以通过命令行使用。对于使用OWL API的应用程序，OWLlink OWL API适配器可用于与Konclude服务器链接。目前，推理引擎提供最常见的推理服务，如分类、实现、子类查询、类实例或个人类型。