WEKO3
アイテム
Applying Model Checking Techniques to Temporal Queries over WorldWideWeb
https://cuc.repo.nii.ac.jp/records/1980
https://cuc.repo.nii.ac.jp/records/1980a4362d09-5143-4831-aff5-60bfe2948467
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004188658.pdf (769.0 kB)
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-09-30 | |||||||
| タイトル | ||||||||
| タイトル | Applying Model Checking Techniques to Temporal Queries over WorldWideWeb | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| ページ属性 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | P(論文) | |||||||
| 記事種別(日) | ||||||||
| 論説 | ||||||||
| 記事種別(英) | ||||||||
| en | ||||||||
| Article | ||||||||
| 論文名よみ | ||||||||
| その他のタイトル | Applying Model Checking Techniques to Temporal Queries over WorldWideWeb | |||||||
| 著者名よみ |
オヤノ, ジュン
× オヤノ, ジュン
|
|||||||
| 著者名(英) |
OYANO, Jun
× OYANO, Jun
|
|||||||
| 著者所属(日) | ||||||||
| 千葉商科大学計算機科学 | ||||||||
| 抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We propose an idea of the use of temporal logic formula for the investigation of the World Wide Web(WWW). Semantic Web is known as a next generation web technology, and constructed over RDF formula. The semantics of RDF is given by Knowledge Interchange Format which expressive power is equal to the First Order Logic (FOL). Because the expressive power of the general FOL is not enough for describing temporal properties, we extend the FOL to FO^2 or to other useful temporal logics using the Kripke Structure extracted from RDF documents. The maximum advantage of our method is to provide the means for queries of database system using rich, powerful temporal operators, and also give guarantees of correctness of a system if the system passed examinations imposed by model checking about temporal properties of systems. | |||||||
| 雑誌書誌ID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00142578 | |||||||
| 書誌情報 |
千葉商大紀要 巻 42, 号 2, p. 97-108, 発行日 2004-09-30 |
|||||||
