Fix to minor typo in theorem 2
Replaced complete lattice with bounded lattice
Added subsection to knowledge-representation describing the issues with non-deterministic EL