"Conservative extensions, uniform interpolants, and modules"(Frank Wolter) - あいまいな本日の私 blogJAIST先端レクチャー・シリーズ"From Pure Logic to Ontology Engineering"の第二回目。 背景説明 医療用のカルテのオンライン・システム等の場合、病気を単に分類するだけでなく、病気などの分類（「概念」）を階層化しておいた方が便利なことが多い。例えば、「盲腸」で入院した患者は、同時に内科に入院した患者でもある。従って、「盲腸の患者⊆内科の患者」との概念の階層構造があれば、「内科の患者」で検索した際に、盲腸の患者も検索リストに登場する。このような階層化された医療用概念・用語集をつくることは、技術的に難しいことは何もなく、すでに実用化され（ほぼrelational databaseとどっこいどっこいである）、ヨーロッパの医療情報ネットワークで使用されている。 しかし、単なる階層化された用語集では情報量が足りず、物足りないことが多い。なによりも、たくさんの述
