converted Horrocks.g to new AutoDoc style
Prepared examples in AutoDoc format
Merge pull request #20 from wagh/master

Prepared examples in AutoDoc format