文献

J-GLOBAL ID：202202237499618897   整理番号：22A0067023

セマンティックWebのための実用的ルールベース定性時間推論【JST・京大機械翻訳】

Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web

著者 (4件)： Lima Guilherme (IBM Research Brazil, Rio de Janeiro, Brazil) ,  Machado Marcelo (IBM Research Brazil, Rio de Janeiro, Brazil) ,  Uceda-Sosa Rosario (IBM T.J. Watson Research Center, Yorktown Heights, NY, USA) ,  Moreno Marcio (IBM Research Brazil, Rio de Janeiro, Brazil)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12851  ページ： 188-202  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,Allen’s Interval Algebra(IA)を用いたRDF/OWL上の実用的ルールベース時間推論のためのアプローチを示した。AllenのIAにおける推論は,ある部分代数に対してのみ実行可能であり,そのルールベース実装がn関係を持つサブ代数のために[数式:原文を参照]ルールを必要とする制約伝搬アルゴリズムである経路一貫性を通して行われる。提案アプローチでは,一定数のルール(just 6)を用いて,また,サブ代数診断である方法で,経路一貫性を実装するために,カスタムビルトインを用いた。本論文では,アプローチ,Apache Jenaにおける実装,および従来のルールベース実装に対する実験的評価を提示した。評価は,後方連鎖が使用されるとき,かなりのスピードアップを示した。論文の更なる貢献は,評価に用いた問題セットである。Copyright Springer Nature Switzerland AG 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *定性分析 ,  *ルールベース
準シソーラス用語： 制約伝搬 ,  *セマンティックWeb ,  *時間推論 , 【Automatic Indexing@JST】

著者キーワード (7件)： 時間的推論 ,  Allenの区間代数 ,  ルールベース推論 ,  Apache Jena ,  SWRL ,  HermiT ,  ペレット

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： セマンティックWeb ,  ルールベース ,  定性 ,  時間推論