prov-o-inverses-20130430: datatypes (1)