'inverseFunctional' attribute of DataPropertyAxiomType is fixed as 'false' for OWL Lite and OWL DL. The attribute value is set to 'false' by default for OWL Full in "owl1-full-dataPropInverseFuncAttr.xsd".