Class: LiquidSolidIceCream

A class that uses a functional property (hasMaterialState) twice. This is not inconsistent unless MaterialStates have been declared disjoint

•owl:Thing

•PizzaDomainConcept

•IceCream

•LiquidSolidIceCream

Equivalent Classes (Necessary and Sufficient Conditions)

IceCream

hasMaterialState SOME Solid

hasMaterialState SOME Liquid

Abstract Syntax

Class(LiquidSolidIceCream complete annotation(rdfs:comment "A class that uses a functional property (hasMaterialState) twice. This is not inconsistent unless MaterialStates have been declared disjoint"^^<http://www.w3.org/2001/XMLSchema#string>)
                                  IceCream
                                  restriction(hasMaterialState someValuesFrom(Solid))
                                  restriction(hasMaterialState someValuesFrom(Liquid)))

Usage

Class Description/Definition (Necessary Conditions)

LiquidSolidIceCream

Generated with OWLDoc