WEKO3
アイテム
B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149069
https://ipsj.ixsq.nii.ac.jp/records/149069fe39ef3f-b6ab-48b0-8a09-767a7b3d05ad
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864725.pdf (288.4 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文) | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | B-015 Ontology Verification using Model Checking | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 東北大学電気通信研究所,情報科学研究科 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 宮城大学大学院事業構想学研究科 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 宮城大学大学院事業構想学研究科 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 仙台電波工業高等専門学校 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Research Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Graduate School of Project Design, Miyagi University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Graduate School of Project Design, Miyagi University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Sendai National College of Technology | ||||||||||||||
| 著者名 |
和泉, 諭
× 和泉, 諭
× 本間, 圭
× 富樫, 敦
× 高橋, 薫
|
|||||||||||||
| 著者名(英) |
Izumi, Satoru
× Izumi, Satoru
× Homma, Kei
× Togashi, Atsushi
× Takahashi, Kaoru
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA1242354X | |||||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 385-386, 発行日 2009-08-20 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
