Large knowledge collider: a service-oriented platform for large-scale semantic reasoning