pizza.owl:NonVegetarianPizza leaf node


URI

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

Label

NonVegetarianPizza

Description

Any Pizza that is not a VegetarianPizza

Usage

Instances of pizza.owl:NonVegetarianPizza 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#> .

:NonVegetarianPizza a owl:Class ;
    rdfs:label "NonVegetarianPizza"@en,
        "PizzaNaoVegetariana"@pt ;
    owl:disjointWith :VegetarianPizza ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :Pizza [ a owl:Class ;
                        owl:complementOf :VegetarianPizza ] ) ] ;
    skos:definition "Any Pizza that is not a VegetarianPizza"@en ;
    skos:prefLabel "Non Vegetarian Pizza"@en .