#11 support for utilizing domain/range restrictions

[Sebastian Hellmann]

The learning algorithm should not send retrieval queries to the reasoner that are obviously empty, this can be either done by adding the EXISTS someRelation.someClass to the too weak list or by just not making the query at all.

This will improve performance.

Domain ranges seem to be implemented already, since nodes like EXISTS someRelation.TOP are considered too weak and not further expanded.

[Jens Lehmann]

Logged In: YES
user_id=1620101
Originator: NO

The new learning algorithm (refexamples) takes domain/range of roles into account, i.e. the refinement operator does not generate those concepts.