A ROS multi-ontology references services: OWL reasoners and application prototyping issues
A Description Logic Primer