updated ontologies from OWL 2 primer

http://www.w3.org/TR/owl2-primer/
fixed wrong property type inference in HasKey parsing