thornleyk / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

Support for SPARQL distinguished variables over predicate positions #49

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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 chime...@gmail.com on 7 May 2011 at 4:17

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 7 May 2011 at 4:21

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 9 Nov 2012 at 11:12