TemaTres：从 SourceForge.net 上下载免费 TemaTres 软件，并尝试利用该 web 应用程序来管理知识、同义词库、分类法、以及多语言词汇表的正式表示。
TemaTres: Download TemaTres software for free at SourceForge.net and try this web application for management formal representations of knowledge, thesauri, taxonomies and multilingual vocabularies.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
应用推荐