A formal description of design patterns using OWL | IEEE Conference Publication | IEEE Xplore