FaCT++: OWL DL推理器

OpenKG搜集和整理知识图谱相关的技术工具,并将组织开展技术评测。

FaCT++是一个在C ++中实现的OWL DL推理器。它是一个基于tableaux的表达式描述逻辑(DL)的推理器。 它涵盖OWL和OWL 2(不支持关键约束和一些数据类型)基于DL的本体语言。 它可以用作独立的DIG推理器,或作为基于OWL API的应用程序的后端推理器。 现在它被用作ProtégéOWL编辑器中的默认推理器之一。

数据与资源

其他信息

价值
http://owl.man.ac.uk/factplusplus/
作者 Dmitry Tsarkov, Ian Horrocks
版本 1.6.3
最近更新 三月 22,2017,15:13(Asia/Shanghai)
创建的 三月 22,2017,15:05(Asia/Shanghai)