Practical Conforming Datatype Groups

The proposed OWL 1.1 language is based on the description logics SROIQ and SHOQ(Dn), whose features include the use of n- ary datatype predicates. The means of specifying such predicates, which must be usefully expressive without breaking decidability properties, is omitted; rectifying this omission is nontrivial.