Instead of using the Domain and Range, it also possible to add the object properties to the class directly. No inference is needed then.
+
I cabe up on the domain/range approach, as it is a lot of work. Instead I add the object properties to the class directly. No inference is needed then.
+
Class: Butter
+
SubClassOf: ( isDerivedFrom only Butterfat ) or ( isDerivedFrom only Cream