An inference engine for the semantic web