OWL Full reasoning

Hi,
 
I have worked out an example of a reasoning problem that we have:
http://www.infowebml.ws/topics/RDF-OWL/85-reasoning/example.htm
 
I have the following questions to the OWL community:
1.      Given the fact that this is clearly an implementation of OWL Full,
can any OWL reasoner handle this at present? 
2.      If not yet, may we realistically expect such a capability to be
available by the year 2010? 
3.      And if not, why is there OWL Full?
 
Regards,
Hans
 
_______________________ 
Hans Teijgeler
ISO 15926 specialist
 <http://www.InfowebML.ws> www.InfowebML.ws
 <mailto:hans.teijgeler@quicknet.nl> hans.teijgeler@quicknet.nl
phone +31-72-509 2005