cyc
最初目标:构建人类最大的常识知识库(比如:每个树都是植物,植物最终会死)
组成:由术语(Terms)和断言(Assertions)组成。术语包括概念、关系和实体的定义。断言用来建立术语之间的关系,这既包含事实Fact描述,也包含规则Rule的描述。
主要特点:基于形式化的知识表示方法来刻画知识。形式化的优势是可以支持复杂的推理,但是过于形式化会导致知识库的拓展性和应用的灵活性不够。
WordNet
最著名的词典知识库,主要用于词义消歧。
ConceptNet
常识知识库
ConceptNet知识库以三元组形式的关系型知识构成