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

pizza.owl:hasTopping leaf node

URI

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

Label

hasTopping

Description

Note that hasTopping is inverse functional because isToppingOf is functional

Inherits from

  • pizza.owl:hasIngredient

    • Usage

    DOMAINPROPERTYRANGE
    pizza.owl:Pizza pizza.owl:hasTopping pizza.owl:PizzaTopping

    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#> .

:hasTopping a owl:InverseFunctionalProperty,
        owl:ObjectProperty ;
    rdfs:comment "Note that hasTopping is inverse functional because isToppingOf is functional"@en ;
    rdfs:domain :Pizza ;
    rdfs:range :PizzaTopping ;
    rdfs:subPropertyOf :hasIngredient ;
    owl:inverseOf :isToppingOf .