KESW School 2012. OWL: The Web Ontology Language. Part I: Overview by Pavel Klinov