摘要:从知识的角度出发，提出一种基于本体约束的知识抽取方法：将领域本体中蕴含的逻辑信息转换为一个Alloy语言表示的模型，将命名实体识别和实体关系抽取的成果映射为解空间，接着将解空间里的每一个解转化为Alloy语言表示的断言语句，然后使用Alloy分析器来约简解空间，最终得到一个具有明确语义的完整知识实例。

Abstract:In terms of knowledge view, an approach of knowledge extraction restrained by ontology is pro- posed in this paper. At first, translate a domain ontology into a model expressed by Alloy language and use the form of solution space to express the recognized entities and the recognized entity-relations which can be got when applying named entity recognition technology and entity relation extraction technology to coarse text block in turn. And then translate every solution of solution space into an assertion sentence which will be included in Alloy model. Next, reduce solution space by applying Alloy analyzer to the Alloy model. At last, a whole knowledge instance will be obtained.