YARR!: Yet Another Rewriting Reasoner.

Joerg Schoenfisch Jens Ortmann

Published in: ORE (2013)

Keyphrases

query answering
conjunctive queries
query rewriting
consistency checking
rewriting rules
knowledge base
regular path queries
temporal reasoning
real time
queries using views
rewrite rules
real world
presburger arithmetic
magic sets
datalog programs
logic programs
multiscale
website
information retrieval
data sets