Inferring Ontological Categories of OWL Classes Using Foundational Rules