ontology - 在理解“披萨本体”的某些方面存在问题

Question

我现在正在阅读使用Protege教程构建本体的指南，该指南涉及著名的Pizza例子。我特别不清楚两件事。

American / AmericanHot / Margherita / Soho（以及本体中NamedPizza类中提到的所有子类）不应该是Pizza类的个人吗？我的意思是很自然地认为他们是比萨饼的一员。为什么他们认为这些是子类而不是个人。以及他们如何计划从中脱颖而出？（例如Margherita1，Margherita2等...。如果是这样，为什么不在“个人”选项卡中创建任何此类个人）？

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

Answer 1

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