Open AccessIncremental Update of Datalog Materialisation: the Backward/Forward Algorithm
Author(s) -
Boris Motik,
Yavor Nenov,
Robert Piro,
Ian Horrocks
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9409
Subject(s) - datalog , computer science , chaining , process (computing) , algorithm , forward chaining , backward chaining , theoretical computer science , programming language , expert system , artificial intelligence , psychology , psychotherapist , inference engine