Enhancing Magic Sets with an Application to Ontological Reasoning
Sign Up to like & getrecommendations! Published in 2019 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068419000115
Abstract: Abstract Magic sets are a Datalog to Datalog rewriting technique to optimize query answering. The rewritten program focuses on a portion of the stable model(s) of the input program which is sufficient to answer the… read more here.
Keywords: rewritten program; sets application; ontological reasoning; magic sets ... See more keywords