Hi all, We are using Apache Jena's GenericRuleReasoner in our project with backward chaining to selectively apply rules relevant to answer a particular SPARQL question. We learned that backward chaining in Jena's GenericRuleReasoner currently only supports single headed backward rules. However, we are facing quite some limitations due to this single-headedness and would like to know whether there have been or are attempts to overcome this limitation. Currently we split N-headed forward rules to N single-headed backward rules, but this limits the amount of bound variables (from the initial SPARQL query) available in a single rule's body. This is an important requirement in our use case.
So, could someone with knowledge about the internals of the backward chaining process in the GenericRuleReasoner shed some light on whether it would (in principle) be possible to support multi-headed backward rules in Apache Jena's GenericRuleReasoner. We are even considering/investigating whether we can implement this feature ourselves. Regards and thanks in advance, 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.