Engaging Prolog with RDF

Prolog has been often used to represent the axioms and inference over RDF data models often by con- verting all the data to plain-text Prolog facts and programs. In this paper we present the PRODEF infrastructure for using Prolog for inferencing over RDF data on the Web by representing Prolog pro- grams in RDF, allowing them to be distributed over the Web and even incomplete, and represent rea- soning results in a form suitable for further auto- matic processing.