RACER - Home
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.mindswap.org/2003/pellet/index.shtml
The Protégé Ontology Editor and Knowledge Acquisition System
HugeDomains.com
斉藤孝の新書 「記録・情報・知識の世界」