First Order Reasoning on a Large Ontology
First Order Reasoning on a Large Ontology
复制标题
大型本体的一阶推理
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
G. Sutcliffe
中科院分区：
文献类型：
--
作者：
A. Pease;G. Sutcliffe
我们提出了我们的工作成果，使用一阶定理证明的原因在一个大的本体（建议上合并本体- SUMO），和方法，使SUMO适合一阶定理证明。我们描述了转换成标准的一阶格式的方法，以及旨在提高推理性能的优化。我们还描述了我们的工作，在翻译SUMO从其原生SUO-KIF语言到TPTP格式。
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology – SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.