计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
12期
234-237,268
,共5页
本体%OWL%描述逻辑%基数限制%推理
本體%OWL%描述邏輯%基數限製%推理
본체%OWL%묘술라집%기수한제%추리
Ontology%OWL%Description logic%Cardinality constraint%Reasoning
OWL DL(DL即Description Logic)使用类运算式来表示概念.任意复杂的概念可用集合的运算来表示.当前OWL DL的集合运算中只能使用交集、并集和补集,而对于有数量约束的集合运算式,OWL无法进行表示.在OWL DL的基础上对集合基数限制进行扩展,实现数量约束的描述逻辑.在集合基数扩展的基础上提出一种树型分类推理算法(Tree Classify Reasoning Algorithm),并通过人力资源筛选的应用证明此方法的表达灵活性和分类有效性.
OWL DL(DL即Description Logic)使用類運算式來錶示概唸.任意複雜的概唸可用集閤的運算來錶示.噹前OWL DL的集閤運算中隻能使用交集、併集和補集,而對于有數量約束的集閤運算式,OWL無法進行錶示.在OWL DL的基礎上對集閤基數限製進行擴展,實現數量約束的描述邏輯.在集閤基數擴展的基礎上提齣一種樹型分類推理算法(Tree Classify Reasoning Algorithm),併通過人力資源篩選的應用證明此方法的錶達靈活性和分類有效性.
OWL DL(DL즉Description Logic)사용류운산식래표시개념.임의복잡적개념가용집합적운산래표시.당전OWL DL적집합운산중지능사용교집、병집화보집,이대우유수량약속적집합운산식,OWL무법진행표시.재OWL DL적기출상대집합기수한제진행확전,실현수량약속적묘술라집.재집합기수확전적기출상제출일충수형분유추리산법(Tree Classify Reasoning Algorithm),병통과인력자원사선적응용증명차방법적표체령활성화분류유효성.
