pizza.owl:CheeseyVegetableTopping leaf node

URI

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

Label

CheesyVegetableTopping

Description

This class will be unsatisfiable. This is because we have given it 2 disjoint parents, which means it could never have any instances (as nothing can be both a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial.

Superclasses (5)

Usage

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

PROPERTY	TYPE	DESCRIPTION	RANGE

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

:CheeseyVegetableTopping a owl:Class ;
    rdfs:label "CheesyVegetableTopping"@en,
        "CoberturaDeQueijoComVegetais"@pt ;
    rdfs:comment "This class will be unsatisfiable. This is because we have given it 2 disjoint parents, which means it could never have any instances (as nothing can be both a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial."@en ;
    rdfs:subClassOf :CheeseTopping,
        :VegetableTopping .