A Reasoner for semantic web ontology