Відправити по sms: HermiT: an OWL 2 reasoner