| This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. |
| •owl:Thing |
| •DomainConcept |
| •Pizza |
| •RealItalianPizza |
| hasBase ONLY ThinAndCrispyBase |
Class(RealItalianPizza complete annotation(rdfs:comment "This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases."^^<http://www.w3.org/2001/XMLSchema#string>)
restriction(hasCountryOfOrigin value(Italy))
Pizza)
SubClassOf(RealItalianPizza restriction(hasBase allValuesFrom(ThinAndCrispyBase)))