FaCT++ Description Logic Reasoner: System Description
FaCT++ Description Logic Reasoner: System Description
复制标题
DOI：
10.1007/11814771_26
复制
发表时间：
2006-08
期刊：
影响因子：
--
通讯作者：
Dmitry Tsarkov;Ian Horrocks
中科院分区：
文献类型：
--
作者：
Dmitry Tsarkov;Ian Horrocks
这是描述逻辑推理机FaCT ++的系统描述。reasoner实现了一个tableaux决策过程，为众所周知的描述逻辑，与额外的支持，包括字符串和整数的数据库。该系统采用了广泛的性能增强优化，包括标准技术（如吸收和模型合并）和新开发的技术（如排序分类和分类）。FaCT++可以通过标准DIG接口，用于为支持OWL DL本体语言的本体工程工具提供推理服务。
This is a system description of the Description Logic reasonerFaCT++. The reasoner implements a tableaux decision procedure for the well knowndescription logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly developed ones (such as ordering heuristics and taxonomic classification).FaCT++can, via the standard DIG interface, be used to provide reasoning services for ontology engineering tools supporting the OWL DL ontology language.