An exercise on OWL