OWL Web Ontology Language Guide - Smith, MK; Welty, C; McGuinness, DL