小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2008年
1期
57-60
,共4页
文坤梅%卢正鼎%吴杰文%李瑞轩%孙小林
文坤梅%盧正鼎%吳傑文%李瑞軒%孫小林
문곤매%로정정%오걸문%리서헌%손소림
语义Web%描述逻辑%Tableaux算法%推理系统
語義Web%描述邏輯%Tableaux算法%推理繫統
어의Web%묘술라집%Tableaux산법%추리계통
语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.
語義Web的齣現使得描述邏輯成為近期的研究熱點,作為本體描述語言的基礎,描述邏輯具有較彊的錶達能力.設計併實現瞭基于描述邏輯Tableaux算法的推理繫統,實驗結果錶明,該繫統可實現本體基本推理功能、TBox及ABox推理功能,且能融入到語義Web的實際應用繫統中,減少對計算機的人工榦預,在一定程度上提高瞭機器的理解能力.
어의Web적출현사득묘술라집성위근기적연구열점,작위본체묘술어언적기출,묘술라집구유교강적표체능력.설계병실현료기우묘술라집Tableaux산법적추리계통,실험결과표명,해계통가실현본체기본추리공능、TBox급ABox추리공능,차능융입도어의Web적실제응용계통중,감소대계산궤적인공간예,재일정정도상제고료궤기적리해능력.
