跳到主要內容

簡易檢索 / 詳目顯示

回結果列表
研究生： 林信成
Shin-Cheng Lin
論文名稱： 驗證以 OWL 和 SWRL 為基礎的監控系統
Validating an OWL and SWRL Based Surveillance System
指導教授： 陳振炎
Jason Chen
口試委員:
學位類別： 碩士
Master
系所名稱： 資訊電機學院 - 資訊工程學系
Department of Computer Science & Information Engineering
畢業學年度： 98
語文別： 中文
論文頁數： 43
中文關鍵詞： OWL 、SWRL 、一致性檢查
外文關鍵詞： consistency checking, SWRL, OWL
相關次數： 點閱：12  下載：0 
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報

    • 建置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.

    摘 要 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/

    QR CODE
    :::