|
|
|
|
|
|
by mmarx
2658 days ago
|
|
|
> If there is no recursion, it is just conjunctive queries and not datalog. SPARQL has negation (FILTER NOT EXISTS), though, making query answering PSpace-hard, whereas conjunctive query answering is NP-complete, so the two are very much not the same, although still less expressive then Datalog (which is ExpTime-complete). CQ answering for the Horn fragment of OWL2 is already 2ExpTime-complete, however, making it vastly more expressive than pure Datalog. |
|
|