a distributed owl reasoner over big biological network