Developing a Distributed Reasoner for the Semantic Web