The simple RDFS reasoner now correctly classify every models
Teach the reasoner about owl:equivalentClass

Which implicitely means the resoner is now a very incomplete OWL-DL reasoner...
Identation error
[reasoning] Basic support for symmetric predicates

Currently only add the symmetric statements for owl:differentFrom,
owl:disjointWith and owl:sameAs