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