Query + Metadata + Logic = Metalog

A paper on a new querying language, Metalog, which allows users to write inference rules and queries in English-like syntax. Shows how these reasoning rules have equivalent representation both as RDF descriptions and as logic programs.