ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 本学機関誌
  2. 千葉商大紀要
  3. 42
  4. 2

Applying Model Checking Techniques to Temporal Queries over WorldWideWeb

https://cuc.repo.nii.ac.jp/records/1980
https://cuc.repo.nii.ac.jp/records/1980
a4362d09-5143-4831-aff5-60bfe2948467
名前 / ファイル ライセンス アクション
KJ00004188658.pdf 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
著者名よみ オヤノ, ジュン

× オヤノ, ジュン

オヤノ, ジュン

Search repository
著者名(英) OYANO, Jun

× OYANO, Jun

en OYANO, Jun

Search repository
著者所属(日)
千葉商科大学計算機科学
抄録(英)
内容記述タイプ 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
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-19 11:06:33.105983
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3