| Abstract |
In the Poseidon project we need to do real-time reasoning about maritime objects.
We would like to combine graph, subsumption, space, and time reasoning.
The ClioPatria semantic-web application platform provides fast graph and subsumption reasoning in SWI-Prolog.
To make real-time spatial reasoning possible on realistic data sets we have to extend SWI-Prolog with spatial indexing of atoms.
This talk will give some background information about the problem, but will mostly be about my ongoing implementation work. |