1. Home
  2. Entities
  3. Classes
  4. pizza.owl:VegetarianPizzaEquivalent2

pizza.owl:VegetarianPizzaEquivalent2 leaf node

URI

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

Label

VegetarianPizza2

Description

An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza

Usage

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

:VegetarianPizzaEquivalent2 a owl:Class ;
    rdfs:label "VegetarianPizza2"@en,
        "PizzaVegetarianaEquivalente2"@pt ;
    rdfs:comment "An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza"@en ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( :Pizza [ a owl:Restriction ;
                        owl:allValuesFrom [ a owl:Class ;
                                owl:unionOf ( :CheeseTopping :FruitTopping :HerbSpiceTopping :NutTopping :SauceTopping :VegetableTopping ) ] ;
                        owl:onProperty :hasTopping ] ) ] ;
    skos:prefLabel "Vegetarian Pizza2"@en .