| Extended knowledge base class that offers additional functionality
to maintain the knowledge base. In particular, there are methods to
order clause sets either manually (move operations) or automatically
(comparators determining the order of clauses).
If a comparator is set, the move operations should be disabled (do nothing).
Therefore, the isMoveEnabled operation should return
getComperator()!=null.
Warning: Note that the order of the clause sets often
affects the results of a query (e.g., conflict resolution by assigning
priorities).
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.1 |