私は今、有名なピザの例を扱ったProtegeチュートリアルを使用してオントロジーを構築するためのガイドを読んでいます。特にわからないことが2つあります。
American / AmericanHot / Margherita / Soho(およびオントロジーのNamedPizzaクラス内で言及されているすべてのサブクラス)は、Pizzaクラスの個人であるべきではありませんか?彼らがクラスのピザの個人であると考えるのは自然なことです。なぜ彼らはこれらを個人ではなくサブクラスと見なしたのですか。そして、彼らはそれからどのように個人を作ることを計画していますか?(Margherita1、Margherita2などのように....もしそうなら、なぜ彼らは個人タブでそのような個人を作成しないのですか?)
そして、なぜ彼らはNamedPizzaのサブクラスにのみクロージャー公理を適用し、他のサブクラスには適用しないのですか?