Ian Horrocks Peter F. Patel-Schneider Sean Bechhofer Dmitry Tsarkov OWL rules: A proposal and prototype implementation. 23-40 2005 3 J. Web Sem. 1 http://dx.doi.org/10.1016/j.websem.2005.05.003 db/journals/ws/ws3.html#HorrocksPBT05