A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases