驗證以 OWL 和 SWRL 為基礎的監控系統

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：57

、訪客IP：3.138.121.79

姓名

林信成(Shin-Cheng Lin) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

驗證以 OWL 和 SWRL 為基礎的監控系統
(Validating an OWL and SWRL Based Surveillance System)

相關論文

★ 以極致編程為基礎的嵌入式系統雙層測試工具	★ 極致編程的兩個延伸：繪製草圖及英詞中句虛擬碼
★ 應用DAML建立代理人社群以整合網路服務	★ 以DAML為基礎的目標導向個人代理人
★ 攜帶可延伸的ontology以增進agent間的溝通	★ 使用代理人支援eXtreme Programming(XP)環境的建構系統
★ 使用代理人輔助XP環境之驗收測試	★ 使用代理人輔助eXtreme Programming環境之單元測試
★ 使用代理人輔助eXtreme Programming環境之版本控制	★ 行動代理人使用DAML Ontology於進階用路人資訊系統
★ 網路服務描述的整合驗證環境	★ 適用OWL-S服務模型之新的正規技術
★ 用於代理人互動的知識本體增強的多代理人閘道系統	★ 文件製作活動：極致編程在嵌入式系統上之延伸
★ 測試驅動開發用於高職生程式教學	★ 使用極致編程在嵌入式系統中移植開放原始碼

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

建置OWL 與 SWRL 為基礎的監控系統過程中，從與使用者溝通需求中發現幾點 issues : 1) 一般使用者 (user) 對系統存在一定程度的認知差距 (Gap)。 2) 推論後的結果需要驗證，確保其正確性。本文提出一個使用 OWL 與 SWRL 的驗證方式，來解決上述的問題。

摘要(英)

In developing an OWL and SWRL based surveillance system, we found the issues below: 1) there are certain cognitive gaps between users and the system, 2) inferred results need to be validated to ensure their correctness. In this paper, we proposed a validation approach using OWL and SWRL to solve these issues.

關鍵字(中)

★ OWL
★ SWRL
★ 一致性檢查

關鍵字(英)

★ consistency checking
★ SWRL
★ OWL

論文目次

摘要
ABSTRACT
誌謝
圖目錄
一、 Introduction 1
二、 Related Work 2
三、 Model 4
四、 Examples 6
五、 Conclusions 9
References 10
附錄一 a
附錄二 f
附錄三 l
附錄四 t

參考文獻

[1] W3C. Web Ontology Language (OWL). [Online]. Available: http://www.w3.org/TR/owl-features/
[2] W3C. SWRL:A Semantic Web Rule Language Combining OWL and RuleML. [Online]. Available: http://www.w3.org/Submission/SWRL/
[3] The Protege Ontology Editor. [Online]. Available: http://protege.stanford.edu/
[4] Stephane Bressan, Cheng Goh2, Natalia Levina, Stuart Madnick, Ahmed
Shah, Michael Siegel Context Knowledge Representation and Reasoning in the Context Interchange System (1999).
[5] V. D. Shet, D. Harwood, L. S. Davis, “VidMAP: Video Monitoring of Activity with Prolog,” Advanced Video and Signal Based Surveillance, IEEE Conference Sept. 2005, pp.224-229 (2005).
[6] Anind K. Dey and Gregory D. Abowd Georgia Institute of Technology Daniel Salber IBM T.J. Watson Research Center A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications HUMAN-COMPUTER INTERACTION, 2001, Volume 16, pp. 97–166 (2001).
[7] Gu, T., Pung, H., Zhang, D.: Toward an OSGi-Based Infrastructure for Context-Aware Applications. In: IEEE Pervasive Computing, pp. 66–74 ( 2004).
[8] Lauro Snidaro , Massimo Belluz , Gian Luca Foresti, Representing and recognizing complex events in surveillance applications, Proceedings of the 2007 IEEE Conference on Advanced Video and Signal Based Surveillance, pp.493-498, September 05-07, 2007 (2007).
[9] Thomas Strang, Claudia L. Popien, A Context Modeling Survey, In Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004 - The Sixth International Conference on Ubiquitous Computing (September 2004).
[10] Zhu XF, Jin Z. Managing the Inconsistency of Software Requirements. Journal of software, 2005,16(7): pp. 1221-1231 (2005).
[11] Petr Kroha, Robert Janetzko, Jose Emilio Labra, "Ontologies in Checking for Inconsistency of Requirements Specification," semapro, pp.32-37, 2009 Third International Conference on Advances in Semantic Processing, (2009).
[12] Christopher J.M., Kenneth B., Mieczyslaw M.K. and Jerzy J.L., Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario, RuleML 2005, LNCS 3791, pp.130-144 (2005).
[13] Pellet rule engine. [Online]. Available: http://clarkparsia.com/pellet
[14] Fact ++ rule engine. [Online]. Available: http://owl.man.ac.uk/factplusplus/
[15] DIG reasoner. [Online]. Available: http://dig.cs.manchester.ac.uk/overview.html
[16] HermiT reasoner. [Online]. Available: http://hermit-reasoner.com/

指導教授

陳振炎(Jason Chen)

審核日期

2010-6-24

推文