http://soft.vub.ac.be/uml2cs/InstantMessenger.owl http://soft.vub.ac.be/uml2cs/Transformations.owl