Prefix(xsd:=) Prefix(owl:=) Prefix(:=) Prefix(xml:=) Prefix(rdf:=) Prefix(rdfs:=) Ontology( Declaration(ObjectProperty(:hatBelag)) Declaration(ObjectProperty(:hatZutat)) Declaration(Class(:Pizza)) Declaration(Class(:Gemuese)) Declaration(Class(:Kaese)) Declaration(Class(:Fleisch)) Declaration(Class(:Fisch)) Declaration(Class(:PizzaBelag)) Declaration(Class(:KaesePizza)) Declaration(Class(:Spinat)) Declaration(Class(:VegetarischePizza)) Declaration(Class(:PizzaCarnivorus)) Declaration(Class(:LeerePizza)) SubObjectPropertyOf(:hatBelag :hatZutat) SubClassOf(ObjectSomeValuesFrom(:hatBelag owl:Thing) :Pizza) SubClassOf(ObjectIntersectionOf(:Gemuese :Kaese) owl:Nothing) SubClassOf(ObjectIntersectionOf(:Kaese :Fleisch) owl:Nothing) SubClassOf(ObjectIntersectionOf(:Gemuese :Fleisch) owl:Nothing) SubClassOf(ObjectIntersectionOf(:Kaese :Fisch) owl:Nothing) SubClassOf(ObjectIntersectionOf(:Gemuese :Fisch) owl:Nothing) SubClassOf(ObjectIntersectionOf(:Fleisch :Fisch) owl:Nothing) SubClassOf(owl:Thing ObjectAllValuesFrom(:hatBelag :PizzaBelag)) EquivalentClasses(:VegetarischePizza ObjectIntersectionOf(:Pizza ObjectComplementOf(ObjectSomeValuesFrom(:hatBelag :Fleisch)) ObjectComplementOf(ObjectSomeValuesFrom(:hatBelag :Fisch)))) EquivalentClasses(:KaesePizza ObjectIntersectionOf(:Pizza ObjectSomeValuesFrom(:hatBelag :Kaese) ObjectAllValuesFrom(:hatBelag :Kaese))) EquivalentClasses(:PizzaSpinat ObjectIntersectionOf(ObjectSomeValuesFrom(:hatBelag :Spinat) ObjectAllValuesFrom(:hatBelag ObjectUnionOf(:Spinat :Kaese)))) SubClassOf(:Spinat :Gemuese) EquivalentClasses(:PizzaCarnivorus ObjectIntersectionOf(:Pizza ObjectAllValuesFrom(:hatBelag ObjectUnionOf(:Fleisch :Fisch)))) EquivalentClasses(:LeerePizza ObjectIntersectionOf(:Pizza ObjectComplementOf(ObjectSomeValuesFrom(:hatBelag owl:Thing)))) )