是一个非常庞大的多语境知识库和Cycorp集团自主开发的推理引擎。Cycorp集团的目标是打破“软件开发的瓶颈”，构建通用性常识知识基础——集结了术语、规则和关系的语义底层，这一知识库的成功将带来大量的知识密集型产品和服务。Cyc技术包含以下内容，这些技术之间的联系如图3所示[8]。
图3 Cyc技术之间的联系
(1)Cyc知识库，利用形式语言CycL，形式化地表达了大量的人类基础知识：事实、规则和用于推理的启发式。知识库的术语构成了庞大的词表和断言集合。Cyc知识库被分成了数以千计的微理论，每个微理论都由一串断言构成。微理论机制允许Cyc独立地维护看起来具有矛盾对立性的断言，并促使Cyc系统提高专注于推理过程的能力。目前，Cyc知识库包括接近50万条术语、1.5万个关系类型和500万条关于这些术语的断言，以及数以万计的手工录入和解释术语的断言。另外，术语合并的功能还可以自动生成数以百万计的非原子化术语。
(2)Cyc推理引擎，可以执行通用的逻辑学推理，还带有AI领域著名的推理机制。Cyc也包括一些特殊目的的推理模型以处理一些特殊类别的推理。
(3)CycL，即Cyc表示语言，是一种非常灵活的知识表示语言。本质上说，CycL是一种增量式的一阶谓语逻辑微积分，它具有易于操作的等式扩展、缺省推理机制和一些二阶谓语逻辑的特征。Cyc用一种定义形式，包括特殊名称假设，能恰当地接近人类的假设。
(4)自然语言处理子系统，由三个部分组成：词典部分、语法分析器和语义注释器。词典部分是自然语言系统的主干，包含英文单词的语法和语义信息。每一个单词都用一个Cyc常量来表示。语法分析器利用松散的基于控制和构建原则的短语结构语法，还利用了大量的与上下文无关的规则为输入的句子构建自底向上的树状结构。语义注释器是Cyc自然语言系统中的语义单元，输出的都是纯CycL
语句，一个经过解析的句子可以被立即加入到知识库中。语义单元在解译句子的每一步骤中都会使用知识库中的知识。利用常识来指导解译的程序，可以解决有关自然语言模糊性的任何疑难问题，从而摆脱单纯依靠统计技术的局限。
(5)Cyc语义集成的数据传输总线，如图4所示。信息有很多存储格式，包括结构化、半结构化和非结构化三种。Cyc通常将非结构化信息视为无用信息，保留经过注释的可以为人所获取的信息。Cyc将每一条数据库记录都看做是知识库中隐含的断言，这些断言在进行推理时很有用。
(6)Cyc开发工具包，Cyc系统包含了各种界面工具，允许用户浏览、编辑和扩展Cyc知识库，向推理引擎提出检索式，支持自然语言和数据库集成模块间的互操作。最常用的工具是Cyc的HTML浏览器，允许用户以超文本方式查看知识库，还包含对知识库进行查询和编辑的功能。
图4 Cyc语义集成的数据传输总线
(注：图片来源：http://www.cyc.com/cyc/technology/technology/whatiscyc_dir/whatsincyc)
OpenCyc是Cyc技术的源代码版本，可通过网络获取(http://sourceforge.net/projects/opencyc/files/)，包括Cyc本体的部分内容，以及公理、规则集和推理引擎。作为目前世界上最大、最全的综合性知识库和常识推理工具之一，OpenCyc包含全集的Cyc术语和Cycorp无偿提供的上百万的本体断言。OpenCyc1.0版本包含全部的Cyc本体，包含成千上万的术语和上百万的术语之间的关系断言，是一个含有客观世界常识知识的顶级本体库；对应于所有概念术语的英语串，帮助研究和显示；Cyc推理引擎和知识库浏览器的可编辑版本；帮助用户自己把握学习节奏的教学资料；包含知识表示和利用Cyc进行软件开发的工具；CycL的规范说明，还有CycL
—to—Lisp语言和CycL—to—C语言的翻译器；Cyc应用程序接口(API)的规范说明；Cyc概念和WordNet同义词集之间的链接。OpenCyc1.0版本还包括一些实验性的开源程序：选择OWL输出文件的本体输出；支持DAML查询的语义网服务器；推理图程序；Java版本的Cyc API[9]。
2.4 HowNet(知网)
HowNet(知网)(http://www.keenage.com/html/e_index.html)是由中国科学院董振东教授开发的一个汉语和英语的常识知识库。得克萨斯大学计算机系知识系统研究小组将知网列为本体项目之一，认为：“知网是一个在线的常识知识库，用于自然语言处理。它包含中文词典中概念与概念间的关系，概念的属性与属性之间的关系。同时还包含了与中文对应的英文概念，以及概念的属性之间的关系[6]。”
知网是一个以英汉双语所代表的概念以及概念的特征为基础，以揭示概念与概念之间以及概念所具有的特征之间的关系为基本内容的常识知识库。知网的中文信息结构的描述对象是：由中文词语所表述的、由知网所规定的最基本的运算单元，如万物、部件、属性、属性值、事件、时间和空间等。信息结构的描述内容是：中文词语的各个组成部分之间的、由知网所规定的动态角色关系或属性。