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
Graphviz
Please join the Graphviz forum to ask questions and discuss Graphviz. What is Graphviz? Graphviz is open source graph visualization software. Graph visualization is a way of representing structural information as diagrams of abstract graphs and networks. It has important applications in networking, bioinformatics, software engineering, database and web design, machine learning, and in visual inter
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
斉藤孝の新書 「記録・情報・知識の世界」