pizza.owl:VegetarianPizza leaf node


URI

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

Label

VegetarianPizza

Description

Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Note that instances of this class do not need to have any toppings at all.

Usage

Instances of pizza.owl:VegetarianPizza can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE

Implementation

@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

:VegetarianPizza a owl:Class ;
    rdfs:label "VegetarianPizza"@en,
        "PizzaVegetariana"@pt ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :Pizza [ a owl:Class ;
                        owl:complementOf [ a owl:Restriction ;
                                owl:onProperty :hasTopping ;
                                owl:someValuesFrom :FishTopping ] ] [ a owl:Class ;
                        owl:complementOf [ a owl:Restriction ;
                                owl:onProperty :hasTopping ;
                                owl:someValuesFrom :MeatTopping ] ] ) ] ;
    skos:definition "Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Note that instances of this class do not need to have any toppings at all."@en ;
    skos:prefLabel "Vegetarian Pizza"@en .