論理体系の表示法

オントロジーの階層的構造の表示自体は、最近GUIなツールがいくつも出ている。ヨーロッパではOWLのグラフィカルな表示ツールがあるし、日本でも大阪大学の「法造」などがある（こちら参照）。しかし、論理体系によるアプローチでは、そもそも階層的構造は導出されるものであり、もっとも基本的な公理系はツールでどう表示できるのかよく分からない。どうしたもんでしょうか。