Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  consider existential rules (also called Tuple-Generating Dependencies or Datalog+/- rules). These rules are particularly ll-suited to the timely ontological query ansring problem, which consists of querying data while taking terminological knowledge into account. Since this problem is not decidable in general, various conditions ensuring decidability have been proposed in the literature. ,  focus on conditions that restrict the way rules may interact to ensure that the forward chaining mechanism is finite. After a review of existing proposals,  propose a generalization of the notion of rule dependency, namely k-dependency, that allows to enlarge halting cases. It can also be used to compile the rule base, which leads to improve query ansring algorithms.
['Jean-Franc̨ois Baget', 'Marie-Laure Mugnier', 'Michaël Thomazo']
I am writing a research paper on a idea Towards farsighted dependencies for existential rules
[{"from": "human", "value": "I am writing a research paper on a idea Towards farsighted dependencies for existential rules"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  consider existential rules (also called Tuple-Generating Dependencies or Datalog+/- rules). These rules are particularly ll-suited to the timely ontological query ansring problem, which consists of querying data while taking terminological knowledge into account. Since this problem is not decidable in general, various conditions ensuring decidability have been proposed in the literature. ,  focus on conditions that restrict the way rules may interact to ensure that the forward chaining mechanism is finite. After a review of existing proposals,  propose a generalization of the notion of rule dependency, namely k-dependency, that allows to enlarge halting cases. It can also be used to compile the rule base, which leads to improve query ansring algorithms."}]