FaCT++官网
Dataset description:
OpenKG搜集和整理知识图谱相关的技术工具,并将组织开展技术评测。 FaCT++是一个在C ++中实现的OWL DL推理器。它是一个基于tableaux的表达式描述逻辑(DL)的推理器。 它涵盖OWL和OWL 2(不支持关键约束和一些数据类型)基于DL的本体语言。 它可以用作独立的DIG推理器,或作为基于OWL API的应用程序的后端推理器。...
该资源暂时没有视图
其他信息
域 | 价值 |
---|---|
Data last updated | 2017年3月22日 |
Metadata last updated | 2017年3月22日 |
创建的 | 2017年3月22日 |
格式 | c/c++ |
授权 | GNU-General-Public-License-2.0 |
Datastore active | False |
Has views | False |
Id | 1418c7e3-6ea9-4635-96f6-3763118ec05c |
Package id | 0eac0fb5-fac4-4307-ab7d-dc61e8535fad |
Position | 0 |
State | active |