OMV's expressiveness is inadequate; use LoLa's logic (pointing to appropriate sublogic) instead

[clange]

OMV's expressiveness of an Ontology is just a string, e.g. "ALCN(D)". We should model all of these (might be a lot in the DL world!) as Logics.

If we like to be compatible with OMV, we somehow need to align LoLa's ObjectProperty logic with OMV's DatatypeProperty expressiveness.