A ROS multi-ontology references services: OWL reasoners and application prototyping issues
Pellet : A practical OWL-DL reasoner