RDF parsing not handling rdf:type correctly
When parsing RDF files and creating atoms in a local in-memory storage, the triple x a p
is translated to the atom rdf:type(x, p)
instead of p(x)
.
This lead to queries in DLGP such as ?(X) :- p(X)
that have no answer but ?(X) :- rdf:type(X, p)
have an answer.
The normal behaviour would be to translate rdf:type(x, p) into p(x) when parsing the rdf file. This could also be a problem when interacting with triple stores as the conversion seems to be done in a single way and not both.