http://www.co-ode.org/ontologies/pizza/pizza.owl#PolloAdAstra
Instances of pizza.owl:PolloAdAstra can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class pizza.owl:Pizza | |||
| pizza.owl:hasBase | owl:FunctionalProperty | pizza.owl:PizzaBase | |
| pizza.owl:hasTopping | owl:InverseFunctionalProperty | Note that hasTopping is inverse functional because isToppingOf is functional | pizza.owl:PizzaTopping |
| From class pizza.owl:Food | |||
| pizza.owl:hasIngredient | owl:ObjectProperty | NB Transitive - the ingredients of ingredients are ingredients of the whole | pizza.owl:Food |
| pizza.owl:isIngredientOf | owl:ObjectProperty | The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. | pizza.owl:Food |
| From class owl:Thing | |||
| pizza.owl:hasCountryOfOrigin | owl:ObjectProperty | owl:Thing | |
| pizza.owl:hasSpiciness | owl:FunctionalProperty | A property created to be used with the ValuePartition - Spiciness. | pizza.owl:Spiciness |
@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#> .
:PolloAdAstra a owl:Class ;
rdfs:label "PolloAdAstra"@pt ;
rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom [ a owl:Class ;
owl:unionOf ( :ChickenTopping :MozzarellaTopping :GarlicTopping :TomatoTopping :RedOnionTopping :CajunSpiceTopping :SweetPepperTopping ) ] ;
owl:onProperty :hasTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :CajunSpiceTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :ChickenTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :GarlicTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :MozzarellaTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :RedOnionTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :SweetPepperTopping ],
[ a owl:Restriction ;
owl:onProperty :hasTopping ;
owl:someValuesFrom :TomatoTopping ],
:NamedPizza ;
owl:disjointWith :American,
:AmericanHot,
:Cajun,
:Capricciosa,
:Caprina,
:Fiorentina,
:FourSeasons,
:FruttiDiMare,
:Giardiniera,
:LaReine,
:Margherita,
:Mushroom,
:Napoletana,
:Parmense,
:PrinceCarlo,
:QuattroFormaggi,
:Rosa,
:Siciliana,
:SloppyGiuseppe,
:Soho,
:UnclosedPizza,
:Veneziana .