FaCT++官网
Dataset description:
OpenKG搜集和整理知识图谱相关的技术工具,并将组织开展技术评测。 FaCT++是一个在C ++中实现的OWL DL推理器。它是一个基于tableaux的表达式描述逻辑(DL)的推理器。 它涵盖OWL和OWL 2(不支持关键约束和一些数据类型)基于DL的本体语言。 它可以用作独立的DIG推理器,或作为基于OWL API的应用程序的后端推理器。...
Source: FaCT++: OWL DL推理器
이 리소스를 위해 생성된 뷰가 아직 없습니다.
추가 정보
필드 | 값 |
---|---|
마지막으로 업데이트된 데이터 | 2017년 3월 22일 |
마지막으로 업데이트된 메타데이터 | 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 |