先日来のRelationshipボキャブラリを巡るやりとりを材料に、Bill de hÓraがWeb ontologies: problems, benefitsというエッセイを書いている。isBossOfといった関係をコンピュータで扱うことの問題点を示した上で、一般の手続き型言語とオントロジーを含む宣言型言語の比較を行い、例えばビジネス・ロジックの記述など、今後のウェブ・プログラミングにおけるオントロジー的な考え方の重要性に触れたものだ。 Billがこういった関係を宣言することの問題点としてあげたのは3つのポイント。 モーダルである(modal):一階述語論理で記述できない、つまり曖昧さ無く意味を示すことができない 制約がない(unconstrained):無拘束な、自由気ままに使える関係というのは、制約条件のないメソッド呼び出しと同じく、あまり使い物にならない 経時変化する(tempo