“OWL 2”: new proposed features

• “Qualified cardinality restrictions” (eg, “class instance must have two black cats”)

• Disjoint, reflexive, irreflexive properties; disjoint union of classes

• Property chains (eg, the uncle example: “if z is brother of y and y is father of x, then z is uncle of x”)

• Own datatype constructs instead of complex XML Schema datatypes