サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
www.ifis.uni-luebeck.de/~moeller
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor of the previous RacerPro system. For those of you who used the previous web site it is important to note that Racer is now freely available, there are no network or runtime limitations. An open source version of Racer is available at Github.com. R
このページを最初にブックマークしてみませんか?
『www.ifis.uni-luebeck.de』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く