Class: Pizza

We have not asserted that all pizzas must have at least 1 topping

•owl:Thing

•PizzaDomainConcept

•Pizza

Super Classes

PizzaDomainConcept

Disjoint Classes

PizzaTopping

Abstract Syntax

Class(Pizza partial PizzaDomainConcept)

DisjointClasses(Pizza PizzaTopping)

Usage

Class Description/Definition (Necessary Conditions)

TestPizza, VegePizza01-NotClosed, VegePizza02-TrivialSatisfaction, VegePizza03, VegePizza04, VegePizza05, VegePizza06-MeaninglessRestriction, VegePizza07, VegePizza08-IncorrectIntersection, VegePizza09, VegePizza10, VegePizzaWithAccidentalDisjoint

Domain of

hasTopping

Generated with OWLDoc