In 11.2.x, we have no direct support of temporal reasoning in the database.
You should be able to write a user defined rule to infer something like "Event A is *after* Event B"
if Event A starts after Event B.
Looking forward, we are considering to add support for user defined inferencing that is more
flexible than user defined rules.
As far as probabilistic reasoning is concerned, could you please elaborate on your requirement?
I am trying to formalise some medical knowledge in clinical guidelines which may contain some probabilistic knowledge-qualitative or quantitative ones. It seems the native inferenceing engine in oracle seman. tech. doesn't support probabilistic reasoning. thanks a lot.
If you can, please share some of the concrete examples that require probabilistic reasoning. It is still a research topic on how to combine logical reasoning and probabilistic reasoning. Having said that, if your requirements are specific enough, we may be able to come up with something.