search

eyereasoner / eye

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

Empty graph and `--entail` and `--not-entail` #113

Closed renyuneyun closed 2 months ago

renyuneyun commented 2 months ago

When using empty graphs with --entail and --not-enail, eye will always consider it false.

But, in principle, shouldn't at least eye --quiet SOME_DOC.ttl --entail SOME_EMPTY_DOC.ttl and eye --quiet SOME_EMPTY_DOC.ttl --entail SOME_OTHER_EMPTY_DOC.ttl be true?

josd commented 2 months ago

It indeed doesn't say true because it can't construct it and the good news is that --not-entail doesn't say true. Will see what I can but for now it is first working hard on https://github.com/eyereasoner/lingua and then fixing eye where it is really broken.

josd commented 2 months ago

Should be working with EYE v10.19.6 (2024-08-24)

renyuneyun commented 2 months ago

Thanks very much! It works now.