Provides support for the sKWRL rule-based reasoning language. Rule programs can be uploaded and are evaluated in a forward chaining algorithm whenever a transaction commits. Since the reasoner evaluates rules directly on the database, reasoning is quite efficient.