康克鲁德

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