Class: VegePizzaWithAccidentalDisjoint

Defined classes are generally not disjoint. They definitely cannot be disjoint with classes they are designed to subsume - this will cause an inconsistency

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •VegePizzaWithAccidentalDisjoint

Super Classes

hasTopping ONLY VegetarianTopping
Pizza
hasTopping SOME VegetarianTopping

Disjoint Classes

TestPizza

Abstract Syntax

Class(VegePizzaWithAccidentalDisjoint partial restriction(hasTopping allValuesFrom(VegetarianTopping))
                                             Pizza
                                             restriction(hasTopping someValuesFrom(VegetarianTopping)))

DisjointClasses(VegePizzaWithAccidentalDisjoint TestPizza)

Usage

Generated with OWLDoc