| 大会名称 |
|---|
| 2009年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2009 |
| 発行日 |
| 2009/8/20 |
| セッション番号 |
| 3B |
| セッション名 |
| モデル検査 |
| 講演日 |
| 2009/09/02 |
| 講演場所(会議室等) |
| B会場（9号館1F 912教室） |
| 講演番号 |
| B-015 |
| タイトル |
| モデル検査を用いたオントロジの検証 |
| 著者名 |
| 和泉 諭, 本間 圭, 富樫 敦, 高橋 薫, |
| キーワード |
| モデルチェッキング, オントロジ |
| 抄録 |
|
オントロジの正しさを,モデルチェッキングの手法を使って検証する方法 について,理論と実際の例を紹介する. |
| 本文pdf |
| PDF download (157.2KB) |