[Tracker] Basic Reasoning

[אנטולי קרס נר <tombackton gmail com>]

Hello Tracker team,

I'm writing software which needs to be able to do queries over the data
it generates. It needs to be able to test all the RDF data entered to
the database, including inferred data.

For example, if class B is a subclass of A, then I need the query
resolver to be able to detect that "subClassOf" is inverse of
"superClassOf" and answer queries like "which subclasses does A have".
And also for transitive relations, if the relation is A->B->C->D, be
able to detect that A->D.

Can Tracker do this reasoning? I mean, does it just store data "as is"
or it detects and understands inverse relations, transitive relations,
object types implied by relatio domain/range, etc.?

If not, how can I do reasoning (necessary for user-defined queries)?

Anatoly