Pizza ontology中的Owl本体属性链示例

Question

我最近一直在使用Protege 4研究OWL本体，并遇到了一个名为property Chain.If的属性。Property P1将个体A与个体B联系起来，属性P2将个体B与个体C联系起来，然后属性P将个体A与个体C联系起来。例如:A parentof B祖先on→A祖先on能用披萨本体举个例子吗？

Answer 1

披萨本体的属性层次结构不是很宽，但另一个示例是: hasIngredient o hasSpicyness SubPropertyChainOf hasSpicyness。这样，如果我们有PizzaMargherita1 --hasTopping--> PizzaMargherita1 --hasSpicyness--> Hot.不幸的是，如果你拿这个披萨本体论的例子：http://protege.stanford.edu/ontologies/pizza/pizza.owl

在这种情况下，如果你想使用一个推理器(非简单属性！)，hasSpicyness就不能起作用。