Hi all, I want to investigate the inner workings of the GenericRuleReasoner (with the purpose of extending it in the future). In Jena's documentation I read:
"Jena includes a general purpose rule-based reasoner which is used to implement both the RDFS and OWL reasoners but is also available for general use. This reasoner supports rule-based inference over RDF graphs and provides forward chaining, backward chaining and a hybrid execution model. To be more exact, there are two internal rule engines one forward chaining RETE engine and one tabled datalog engine - they can be run separately or the forward engine can be used to prime the backward engine which in turn will be used to answer queries." source: https://jena.apache.org/documentation/inference/#rules Apart from Jena's documentation, Jena's mailing lists and its source code, are there any resources that can better help me grasp what is happening inside the generic rule reasoner? For example, the text above mentions the forward chaining RETE engine and the tabled datalog engine, are there any scientific papers that I might read to better understand their inner workings? Maybe this question is better suited for the [email protected]<mailto:[email protected]>? Regards, Barry This message may contain information that is not intended for you. If you are not the addressee or if this message was sent to you by mistake, you are requested to inform the sender and delete the message. TNO accepts no liability for the content of this e-mail, for the manner in which you use it and for damage of any kind resulting from the risks inherent to the electronic transmission of messages.
