sharingRDF/OWLの基本推論RDFスキーマのsubClassOfやsubPropertyOf、domain、range、OWLの推移律プロパティ、逆関数プロパティ(IFP)、sameAsなどを用いると、どのようなグラフを導くことができるかというデモンストレーションを行ったものです。説明はスライドには記述してないので、予備知識がないと分かりにくいかも知れません。http://www.kanzaki.com/works/2005/pub/0913jagat.html。