search

eyereasoner / eye

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

Bug: Eye does not always treat the empty list as `rdf:nil` #75

Closed jeswr closed 1 year ago

jeswr commented 1 year ago

For the following data.n3 

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix : <https://example.org/ns/1/> .

rdf:nil :p :o .

{
  () ?p ?o .
} => {
  :s ?p ?o .
} .

There are no derivations

$ npx eyereasoner --nope --quiet --pass-only-new ./listTest.n3 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <https://example.org/ns/1/>.

I would expect :s :p :o to be derived as rdf:nil ?p ?o matches the pattern () ?p ?o.

josd commented 1 year ago

Thanks for the observation and EYE v3.3.1 now gives :s :p :o.