http://www.co-ode.org/ontologies/pizza/pizza.owl#UnclosedPizza
An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.
Instances of pizza.owl:UnclosedPizza can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@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#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:UnclosedPizza a owl:Class ;
rdfs:label "UnclosedPizza"@en,
"PizzaAberta"@pt ;
rdfs:comment "An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings."^^xsd:string ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping ],
:Pizza ;
skos:prefLabel "Unclosed Pizza"@en .