時間上下文的屬性限制及一致性分析研究

摘 要：首先分析了本體創(chuàng)建的一般過程，定叉了一組時間關(guān)系的表示函數(shù)及通用的時間限制性公理；在此基礎(chǔ)上設(shè)計一個面向帶時間特征的概念屬性邏輯關(guān)系一致性分析算法；最后，直接針對本體概念的時間屬性，設(shè)計了一個時間屬性值描述的一致性分析算法。實際應用表明，提出的兩個算法，既能有效地實現(xiàn)帶時間側(cè)面的本體屬性的一致性檢查，又能針對時間屬性本身消除其不一致性。上述算法可應用于帶時間上下文的本體創(chuàng)建中分析并檢查其一致性。關(guān)鍵詞：本體；時間；屬性；一致性