[topicmapmail] Inference rules

[Stefan Henke]

Hi,
I have a very basic question about topic maps. Which role do inference rules
play in the world of topic maps? I think in the field of ontologies, they
play a quite important role. In the last time, I had a look at the tolog
query language. It allows to define inference rules which are used for the
query. But the rules are not getting part of the topic map itself. So, they
are not used in other queries. Are there any plans to build in some concepts
for inference rules in topic maps?

Regards,
Stefan