计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
2期
423-428
,共6页
描述逻辑SHIF%ABox一致性判定%Tableau算法%阻塞机制%正确性
描述邏輯SHIF%ABox一緻性判定%Tableau算法%阻塞機製%正確性
묘술라집SHIF%ABox일치성판정%Tableau산법%조새궤제%정학성
为了判定SHIF的ABox一致性,提出了一种Tableau算法.该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止.ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox.算法所采用的阻塞机制可以避免Tableau规则的无限次执行.为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先.通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认.
為瞭判定SHIF的ABox一緻性,提齣瞭一種Tableau算法.該算法先通過預處理將ABox轉換成標準形式,然後按照特定的完整策略將一套Tableau規則應用于ABox,直到將它擴展成完整的ABox為止.ABox與TBox一緻,噹且僅噹算法能產生一箇無遲突的完整的ABox.算法所採用的阻塞機製可以避免Tableau規則的無限次執行.為瞭提高算法的效率,該機製允許一箇新箇體被在其之前創建的任意新箇體直接阻塞,而不僅僅跼限于其祖先.通過對算法的可終止性、閤理性和完備性進行證明,算法的正確性得以確認.
위료판정SHIF적ABox일치성,제출료일충Tableau산법.해산법선통과예처리장ABox전환성표준형식,연후안조특정적완정책략장일투Tableau규칙응용우ABox,직도장타확전성완정적ABox위지.ABox여TBox일치,당차부당산법능산생일개무충돌적완정적ABox.산법소채용적조새궤제가이피면Tableau규칙적무한차집행.위료제고산법적효솔,해궤제윤허일개신개체피재기지전창건적임의신개체직접조새,이불부부국한우기조선.통과대산법적가종지성、합이성화완비성진행증명,산법적정학성득이학인.
