あと形式手法やらを...もしかすると時相論理も...
http://www.amazon.co.jp/dp/4274207455
http://thinkit.co.jp/free/article/0607/12/1/
http://www.asahi-net.or.jp/~ax2s-kmtn/internet/rdf/rdf-primer.html
http://www.asahi-net.or.jp/~ax2s-kmtn/internet/rdf/rdf-sparql-query
http://protege.stanford.edu/
http://www.amazon.co.jp/dp/4891004576/
...ﾑﾘﾀﾞﾅ(・×・)
