Ian Horrocks: publications: "Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language" This is going to be presented at WWW13 . It is called ORL and gives you Horn clauses in an XML-based syntax