Research on constrain and consistency of time for ontology
时间上下文的属性限制及一致性分析研究*

首先分析了本体创建的一般过程，定义了一组时间关系的表示函数及通用的时间限制性公理；在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法；最后，直接针对本体概念的时间属性，设计了一个时间属性值描述的一致性分析算法。实际应用表明，提出的两个算法，既能有效地实现带时间侧面的本体属性的一致性检查，又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。