Skip to content

Instantly share code, notes, and snippets.

@jeswr

jeswr/eye error

Created November 14, 2024 20:13
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save jeswr/84cc03ada0036001916f10de567efb4a to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save jeswr/84cc03ada0036001916f10de567efb4a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
eye error
With data_0.n3s
```
@prefix : <https://example.org/ns#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
:ABC a :DepartmentPreference .
:ABC a :ResearcherPreference .
(_:WHAT) log:onNegativeSurface {
_:WHAT a :DepartmentPreference .
_:WHAT a :ResearcherPreference .
} .
```
I get the following error:
```
$ npx eyereasoner --nope --quiet data_0.n3s --pass-only-new
** ERROR ** eam ** inference_fuse(
@prefix : <https://example.org/ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/94d14538-c509-4f01-8f92-942aad03a60c#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
# inference fuse
{
:ABC a :ResearcherPreference.
() log:onNegativeSurface {
:ABC a :ResearcherPreference.
}.
} => false.
)
@prefix : <https://example.org/ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
{
_:E_10 a :DepartmentPreference.
} => {
() log:onNegativeSurface {
_:E_10 a :ResearcherPreference.
}.
}.
{
_:E_21 a :ResearcherPreference.
} => {
() log:onNegativeSurface {
_:E_21 a :DepartmentPreference.
}.
}.
() log:onNegativeSurface {
:ABC a :ResearcherPreference.
}.
() log:onNegativeSurface {
:ABC a :DepartmentPreference.
}.
```
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment