1. Home
  2. Entities
  3. Properties
  4. pizza.owl:isToppingOf

pizza.owl:isToppingOf leaf node

URI

http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf

Label

isToppingOf

Description

Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)

Inherits from

  • pizza.owl:isIngredientOf

    • Usage

    DOMAINPROPERTYRANGE
    pizza.owl:PizzaTopping pizza.owl:isToppingOf pizza.owl:Pizza

    Implementation

    @prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:isToppingOf a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:comment "Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)"@en ;
    rdfs:domain :PizzaTopping ;
    rdfs:range :Pizza ;
    rdfs:subPropertyOf :isIngredientOf ;
    owl:inverseOf :hasTopping .