I have just found a paper by I Horroks related to what we are now discussing- expressive power of DL vs of Prolog: http://wonderweb.semanticweb.org/deliverables/documents/D2.pdf Serguei -- )