理解“披萨本体论”某些方面的问题

Question

我现在正在阅读使用Protege教程构建本体的指南，该教程处理着名的Pizza示例。有两点我不明白。

不应该是American / AmericanHot / Margherita / Soho（以及本体中NamedPizza类中提到的所有子类）而不是Pizza类的个人？我的意思是认为他们是比萨饼的个人是很自然的。为什么他们认为这些是子类而不是个体。他们如何计划让个人离开呢？（如Margherita1，Margherita2等等......如果是这样，他们为什么不在个人标签中创建任何此类人物？）

为什么他们只将闭包公理应用于NamedPizza的子类而不是其他子类？

Answer 1

本体可以用不同的方式建模，我认为你建议的方式应该导致正确的本体论。 您可以使用相同的规则来定义OOP中的子类。如果类具有唯一的属性或关系，则定义新的其他实例应该没有问题。