dependency analysis vs OWL axioms as graphs http://lists.w3.org/Archives/Public/semantic-web/2014Nov/0072.html オントロジー公理の依存関係分析の話から、integrity constraint（整合性制約）→matrix dependency→グラフ表現→そもそもOWLをRDFグラフで表現することと依存関係分析についてと、なかなか深い。転換点は http://lists.w3.org/Archives/Public/semantic-web/2014Nov/0060.html