A ROS multi-ontology references service: OWL reasoners and application prototyping issues