eyereasoner / eye

Euler Yet another proof Engine
https://eyereasoner.github.io/eye/
MIT License
124 stars 17 forks source link

Different behavior based on `id` of blank nodes? #78

Closed jeswr closed 1 year ago

jeswr commented 1 year ago

For this data.n3 I get

{ :a :b ?U_8 } <= {
  _:n3-28.e_n3-20_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> ?U_8 .
  _:n3-28.e_n3-20_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
} .
$ npx eyereasoner --nope --quiet --pass-all ./ruleError.n3 
{<file:///ruleError.n3#a> <file:///ruleError.n3#b> ?U_0} <= {?U_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> ?U_0. ?U_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> ()}.

Wheras for the following data.n3 I get

{ :a :b ?U_8 } <= {
  _:20_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> ?U_8 .
  _:20_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
} .
$ npx eyereasoner --nope --quiet --pass-all ./ruleError.n3 
** ERROR ** eam ** error(type_error(text,some1-28.e_n3),context(system:atomic_list_concat/2,_5116))
josd commented 1 year ago

I guess you meant the files the other way around but anyhow, now it works fine in EYE v3.4.7

jeswr commented 1 year ago

Did indeed mean the other way around. Thanks for fixing!