eyereasoner / eye

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

RDF Surfaces won't work #112

Closed renyuneyun closed 3 weeks ago

renyuneyun commented 4 weeks ago

I recently updated my eye version, and found that --blogic switch is gone. I found the document. The document says adding --no-bnode-relabeling is needed for RDF Surfaces. However, even if using the example command (containing this switch), the example Socrates file doesn't work either.

Is there anything else needed?

josd commented 4 weeks ago

The documentation is now updated and queries are now like

# Define what to send to the output
(_:S _:O) log:onNegativeSurface {
    _:S a _:O .
    () log:onNegativeAnswerSurface {
        _:S a _:O .
    } .
} .
renyuneyun commented 3 weeks ago

Thanks. That works now!