セマンティックWebの新レイヤーケーク

ちょっとしたメモ - 2005版セマンティック・ウェブ・スタック
セマンティックWebのレイヤーケークが変わるかも知れない。

どうやらDL(Description Logic)ベースのOWLからDLP(Description Logic Programming)ベースのOWLになりそうだ。

これはOWL Flightなどに共通する論理への切り替わりであり、現在のOWL DL/Liteなどに比べ推論が楽になる。というのも従来のPrologベースの第5世代コンピュータで開発された推論エンジンが利用することができるようになるのだ。

DLの推論は非常に低速でありOWL DLに対しては実時間内での推論エンジンが現状ではないといわれている。それに比べたら第5世代コンピューティングでの推論はかなりましである（必ずしも高速だとは思わないが、、、）。

とにかくこの流れは非常に好感の持てる話だ。