OWL 2

A good tutorial is given by Martin Kuba, http://dior.ics.muni.cz/~makub/owl