Rewriting Ontological Queries into Small Nonrecursive Datalog Programs

Open in new window