2. Define more operations on relations (and/with classes), especially, composition: S ∘ R. I mentioned PropertyChain in a post, but it is not really the composition. Definition is difficult, and maybe not fit for owlready.
3. Define a parser translating DL expressions to owlready, for example (roughly)
'A<=B' ==> class A(B): pass
'x: A' ==> x = A()
'some y:B R x, y' ==> x = R.some(B)()
A more ambitious idea is translating natural languages to owlready expressions.