For any practical reasoning system we will need to make rooms for
point-based,  interval-based,  qualitative,  quantitative and all
other variations of  ontologies.  We  will  have  to  modify  the
representation   languages  and  algorithms  geared  toward  such
integrated ontology. A vision here is to develop a language and a
system   architecture   where   new  ontology  and  corresponding
algorithm  for  reasoning  with  them  could  be   'plugged'   in
seamlessly.  This task will require much more further fundamental
works than exist currently. Also, we would like the system to  be
capable  of  reasoning  with  not  ony  real  space  or  time but
aribitrary spaces (e.g., some experimental parameter, or tallness
of human). For quantitative reasoning linear programming provides
a rich methodology, but we need  to  have  qualitative  reasoning
capability within the system too. 'Vital' (Linkopings University)
is a good starting point for a temporal language.