DOL — Minor bugs in the translation from OWL to FOL

I.5.7.2 Translation of sentences: $\top$ and $\bot$ are missing!
I.5.7.3 Translation of models:

$M'_\Thing$ does not make sense, because this is unsorted first-order logic.
$\I$ has not been introduced. Sometimes, $I$ is used.
Typo: By Induction (should be: by induction).
As last item, add: The other cases are similar.
The satisfaction condition holds as well. --> The satisfaction condition now follows easily.

Minor technical corrections to OWL -> FOL translation

We have made minor technical corrections in the mathematical definition of the translation of OWL to first-order logic. For details see diff file.