Hi Christine,
EL++, which may shortly become a new 'profile' of OWL 2 that is, a sublanguage of the standard.
That's really interesting to hear, and would be a very welcome development!!!
I have to admit I was not aware of these effort to allow OWL 1.1 etc. to contain EL++ as a sublogic until looking at Kent's paper cited by Jyoti, your notes, and now a few minutes snooping around on the OWL site.
I have to say this is all wonderful news that makes this whole project even more timely!
John