Support for SPARQL distinguished variables over predicate positions

[GoogleCodeExporter]

FuXi cannot support psuedo-2nd order predicate SPARQL entailment queries such 
as:

SELECT * { ex:Foo ?predicate ex:Bar } 

or 

SELECT * { ex:Foo a ?predicate } 

Primarily, the BFP method needs a principled solution to implement

See: 
http://answers.semanticweb.com/questions/1594/what-are-the-semantics-of-2nd-orde
r-predicates-in-rdf-rule-languages

Original issue reported on code.google.com by [email protected] on 7 May 2011 at 4:17

• Blocking: There is not yet parity between BFP and SDL reasoning mechanisms  #38