Class: MeatyPizza

Any pizza that has at least one meat topping

•owl:Thing

•DomainConcept

•Pizza

•MeatyPizza

Equivalent Classes (Necessary and Sufficient Conditions)

Pizza

hasTopping SOME MeatTopping

Abstract Syntax

Class(MeatyPizza complete annotation(rdfs:comment "Any pizza that has at least one meat topping"^^<http://www.w3.org/2001/XMLSchema#string>)
                         Pizza
                         restriction(hasTopping someValuesFrom(MeatTopping)))

Usage

Class Description/Definition (Necessary Conditions)

MeatyPizza

Generated with OWLDoc