| "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. " [lang: en] |
| •owl:Thing |
| •DomainConcept |
| •Pizza |
| •SpicyPizzaEquivalent |
| Pizza |
| hasTopping SOME (PizzaTopping AND (hasSpiciness SOME Hot)) |
| rdfs:label | "PizzaTemperadaEquivalente" [lang: pt] |
Class(SpicyPizzaEquivalent complete annotation(rdfs:label "PizzaTemperadaEquivalente"@pt)
annotation(rdfs:comment "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. "@en)
Pizza
restriction(hasTopping someValuesFrom(intersectionOf(PizzaTopping
restriction(hasSpiciness someValuesFrom(Hot))))))