本体的构建理论和推理实现

研究内容：利用描述逻辑具有丰富的代数运算和有效的推理能力，结合形式概念分析与事实密切相关的特点，给出构建本体以及本体之间、之上的运算；本体的修正和相互之间的转换等运算，分析这些运算的性质，给出相应的推理系统及其复杂性分析；为验证这些理论方法，我们将应用在国家知识基础设施知识库中实现本体的运算、修改和推理。. 研究意义：本体构造是信息和知识共享中的一个关键问题，也是描述复杂系统的手段之一。由于实际信息系统具有极高的复杂性，在信息系统的本体构造中常常出现许多困难(如结构不清、矛盾、不完备、冗余等等)。另一方面，本体构造也是一个动态的过程。因此，我们需要建立一套有效的本体构造(包括修正和转换)理论和方法。