南京师范大学学报：工程技术版
南京師範大學學報：工程技術版
남경사범대학학보：공정기술판
Journal of Nanjing Nor Univ: Eng and Technol
2011年
4期
40-46
,共7页
基于规则的本体推理%语义Web浏览器%权威文档
基于規則的本體推理%語義Web瀏覽器%權威文檔
기우규칙적본체추리%어의Web류람기%권위문당
rule based ontology reasoning%semantic web browser%authoritative document
讨论了语义Web浏览器环境下RDF数据推理与查询面临的若干挑战：动态性、可伸缩性、及时性和可信性.提出了一种基于前向链的规则推理方法,通过动态提取与查询相关的规则和事实来处理动态性和可伸缩性挑战.该方法通过MagicSets优化技术提高推理性能来满足及时性要求.提取的规则包含了本体公理转化而来的规则.为了提高推理结果的可信性,转化本体公理时考虑了数据源的权威性,并提供推理结论的证据解释.实验评估显示了该方法在语义Web浏览器中的有效性.
討論瞭語義Web瀏覽器環境下RDF數據推理與查詢麵臨的若榦挑戰：動態性、可伸縮性、及時性和可信性.提齣瞭一種基于前嚮鏈的規則推理方法,通過動態提取與查詢相關的規則和事實來處理動態性和可伸縮性挑戰.該方法通過MagicSets優化技術提高推理性能來滿足及時性要求.提取的規則包含瞭本體公理轉化而來的規則.為瞭提高推理結果的可信性,轉化本體公理時攷慮瞭數據源的權威性,併提供推理結論的證據解釋.實驗評估顯示瞭該方法在語義Web瀏覽器中的有效性.
토론료어의Web류람기배경하RDF수거추리여사순면림적약간도전：동태성、가신축성、급시성화가신성.제출료일충기우전향련적규칙추리방법,통과동태제취여사순상관적규칙화사실래처리동태성화가신축성도전.해방법통과MagicSets우화기술제고추이성능래만족급시성요구.제취적규칙포함료본체공리전화이래적규칙.위료제고추리결과적가신성,전화본체공리시고필료수거원적권위성,병제공추리결론적증거해석.실험평고현시료해방법재어의Web류람기중적유효성.
This paper discusses the challenges of performing reasoning and query answering over RDF data in the context of a Semantic Web browser, including dynamics, scalability, prompt response and trustworthiness. We propose a rule based reasoning mechanism by means of forward chaining, which addresses the challenges of dynamics and scalability by dynamic extraction of rules and facts that are relevant for query answering. To meet prompt response, the mechanism u- ses Magic Sets optimization to improve reasoning performance. Those extracted rules contain ones translated from ontolo- gies. To improve the trustworthiness of reasoning results, authoritative analysis is performed during ontology translation, and proof explanations for each consequence are provided. An experimental evaluation shows the effectiveness of the ap- proach in the context of a Semantic Web browser.
