FaCT++: OWL DL推理器

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

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

Δεδομένα και Πόροι

FaCT++官网c/c++ _{【下载量：377】}
Εξερευνήστε
- Περισσότερες πληροφορίες
- Μετάβαση στον πόρο

Επιπρόσθετες πληροφορίες

Πεδίο	Τιμή
Πηγή	http://owl.man.ac.uk/factplusplus/
Δημιουργός	Dmitry Tsarkov， Ian Horrocks
Έκδοση	1.6.3
Τελευταία ενημέρωση	Μαρτίου 22, 2017, 07:13 (UTC)
Δημιουργήθηκε	Μαρτίου 22, 2017, 07:13 (UTC)