Revision of BOT to version v0.3.1

[GeorgFerdinandSchneider]

Based on comments received from Antoine Zimmermann LINK:

• Removal of cardinality restriction on bot:Interface to ensure BOT stays in OWL RL: bot:Interface rdfs:subClassOf [ a owl:Restriction ; owl:onProperty bot:interfaceOf ; owl:minCardinality 1 ] . --> Minor loss vs. huge gain staying in the efficient to reason OWL RL profile
• Removal of “TODO” language tags
• Removal of commented axioms

In addition the following minor changes have been applied:

• Revision of @de labels and comments
• Addition of W3C CG members as contributors

[maximelefrancois86]

This pull request looks good to me, I would just recommend to reflect the deletion of the minCardinality axiom in the html documentation as well

[GeorgFerdinandSchneider]

Updated HTML documentation in commit https://github.com/w3c-lbd-cg/bot/pull/49/commits/967e270ecc4d736abaf9bea9f9aeb6cd9511bac0

No further feedback has been received. Hence, merge to master is applied