"Efficient module extraction, versioning, and forgetting in large-scale ontologies."(Frank Wolter)

JAIST先端レクチャー・シリーズ"From Pure Logic to Ontology Engineering"の第三回目。
今回は、異なるバージョン同士の理論の間の違いをどう効率的に表示するか、という話。のサイズが10万の時、通常のやり方だと10分かかるところ、モデルを作る順番を逆にする（最初に各理論のモデルを作り、それから差違を取る）ことで3分程度に圧縮できる。