[•] Classes
ClosedPizza
EmptyPizza
FishPizza-Closed
FishPizza-Open
FishTopping
Gas
IceCream
Liquid
LiquidSolidIceCream
MaterialState
MeatAndFishPizza-Closed
MeatAndFishPizza-Open
MeatFishAndVegetarianPizza-Closed
MeatFishAndVegetarianPizza-Open
MeatPizza-Closed
MeatPizza-Open
MeatTopping
MeltedIceCream
OneToppingPizza
OpenPizza
Pizza
PizzaDomainConcept
PizzaTopping
Solid
TestPizza
VegePizza01-NotClosed
VegePizza02-TrivialSatisfaction
VegePizza03
VegePizza04
VegePizza05
VegePizza06-MeaninglessRestriction
VegePizza07
VegePizza08-IncorrectIntersection
VegePizza09
VegePizza10
VegePizzaWithAccidentalDisjoint
VegetarianTopping
VegetarianToppingsPizza-Closed
VegetarianToppingsPizza-Open
Generated with
OWLDoc