华南理工大学学报（自然科学版）
華南理工大學學報（自然科學版）
화남리공대학학보（자연과학판）
JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)
2007年
1期
112-117
,共6页
描述逻辑%本体%查询处理%含半幺群同态%含半幺群概括演算
描述邏輯%本體%查詢處理%含半幺群同態%含半幺群概括縯算
묘술라집%본체%사순처리%함반요군동태%함반요군개괄연산
为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.
為瞭提高語義Web查詢的查全率和查準率,文中提齣瞭一種基于形式化領域本體的查詢處理方法.首先採用描述邏輯錶達領域本體的語法和語義,實現領域本體的形式化轉換;然後基于轉換後的形式化領域本體,採用含半幺群概括縯算作為基于形式化領域本體查詢轉換的目標語言,定義瞭用戶查詢到含半幺群同態查詢的轉換規則和語義優化處理、查詢重寫規則,最後通過實驗驗證瞭該方法的查詢性能.
위료제고어의Web사순적사전솔화사준솔,문중제출료일충기우형식화영역본체적사순처리방법.수선채용묘술라집표체영역본체적어법화어의,실현영역본체적형식화전환;연후기우전환후적형식화영역본체,채용함반요군개괄연산작위기우형식화영역본체사순전환적목표어언,정의료용호사순도함반요군동태사순적전환규칙화어의우화처리、사순중사규칙,최후통과실험험증료해방법적사순성능.
