Ontological Reasoning with F-logic Lite and its Extensions