モデル検査器NuSMVを用いたオントロジーの検証

• Item type: SIG Technical Reports(1)
• 公開日: 2012-03-08
• タイトル: モデル検査器NuSMVを用いたオントロジーの検証
• タイトル / 言語: en
• タイトル: Verification of ontology using the model checker NuSMV
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法・設計
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 仙台高等専門学校
• 著者所属: 東北大学電気通信研究所／情報科学研究科
• 著者所属: 仙台高等専門学校
• 著者所属: 仙台高等専門学校
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Research Institute of Electrical Communication / Graduate School of Information Sciences, Tohoku University
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者名: 阿部, 雄貴; 和泉, 諭; 小林, 秀幸; 高橋, 薫
• 著者名(英): Yuki, Abe; Satoru, Izumi; Hideyuki, Kobayashi; Kaoru, Takahashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究では，ソフトウェアや組込みシステムの検証において有効であるモデル検査法をオントロジーの検証に応用する．具体的には，モデル検査ツールで扱うためのオントロジーの検証モデルを与え，この検証モデルに基づいて，オントロジーの構文的な矛盾や意味的な矛盾について，モデル検査ツールを用いて検証する．本稿では，モデル検査ツールとして NuSMV を使用し，そのための検証モデルと検証例について述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We apply the model checking technique for consistency checking of various systems such as software and embedded systems to the verification of ontology. Specifically, a verification model of the ontology is given. Then, we check its syntactic and semantic consistency using a model checker. In this paper, we use NuSMV as the model checker. We show the ontology verification model for NuSMV and verification examples.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2012-SE-175, 号 5, p. 1-8, 発行日 2012-03-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会