湘潭大学自然科学学报
湘潭大學自然科學學報
상담대학자연과학학보
NATURAL SCIENCE JOURNAL OF XIANGTAN UNIVERSITY
2014年
2期
104-108
,共5页
描述逻辑%角色包含公式%可满足性%表算法%复杂度
描述邏輯%角色包含公式%可滿足性%錶算法%複雜度
묘술라집%각색포함공식%가만족성%표산법%복잡도
description logic%role inclusion axiom%satisfiability%tableau algorithm%complexity
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.
針對RBox錶達能力受限于簡單角色的問題,研究瞭在角色包含公式中允許齣現一類由閤取和析取構造子連接的複雜角色,併且TBox和ABox均為空集的情況下ALC概唸的可滿足性問題,設計瞭可滿足性檢測錶算法,分析瞭算法的終止性,證明瞭可靠性和完備性,最後討論瞭複雜度.理論分析錶明,此時ALC概唸的可滿足性問題是可判定的,併且複雜度為ExpTime.
침대RBox표체능력수한우간단각색적문제,연구료재각색포함공식중윤허출현일류유합취화석취구조자련접적복잡각색,병차TBox화ABox균위공집적정황하ALC개념적가만족성문제,설계료가만족성검측표산법,분석료산법적종지성,증명료가고성화완비성,최후토론료복잡도.이론분석표명,차시ALC개념적가만족성문제시가판정적,병차복잡도위ExpTime.