ニコラ・グアリーノ

彼はコンピュータ科学における存在論の分野の創始者の一人であると言えるが、間違いなくその最も率直な提唱者の一人でもある。AIと知識表現の研究者のほとんどが推論アルゴリズムと表現言語の意味論に焦点を当て、これらの言語で表現され、これらのアルゴリズムによって推論される実際の知識は重要ではない（単なる例である）と考えていたのに対し、グアリーノは知識がどのように表現されるべきかを研究する反動運動を先導した。この運動の合言葉は、パトリック・J・ヘイズによる有名な「素朴物理学宣言」論文から生まれたことは間違いない。

グアリーノの研究は1990年代初頭に形を成し始め、彼は自身の工学的なバックグラウンドを応用して、知識ベースシステムがどのように構築されるか、そして最も重要なことに、知識がどのように獲得されるかを理解しようとした。彼は初期の知識獲得ワークショップではお馴染みの顔であり、そこで彼は自分を指さして「私はクラスではない！」と言うことで最もよく知られていた。この発言は、グアリーノが普遍的なものと個別的なものの間の重要かつ根本的な区別だと考えていることを指している。表現システムによっては、クラス自体が他のクラスのインスタンスになることを許容するものもあり、特定の文脈ではそれが理にかなっているが、クラスになり得ないインスタンスも存在する（これらは個別的なものである）。

彼が、後にコンピュータ科学者によって「オントロジー」と呼ばれることになる知識の種類を規定する際の形式的な厳密さを重視したことが、彼を哲学における形式的オントロジーの分野へと導き、そこで彼は形而上学の文献を研究し始め、クワイン、ストローソン、そして特にサイモンズといった著名な人物の業績に焦点を当てた。

グアリーノは1998年に情報システムにおける形式オントロジーに関する会議を創設した。これは、オントロジーそのものに焦点を当てた定期的な学術会議であり、オントロジーを表現する言語は対象としていない。彼はオントロジー研究の促進と科学的厳密性の維持に尽力してきた。