{"id":21166477,"url":"https://github.com/eyereasoner/eye","last_synced_at":"2026-04-07T13:32:35.577Z","repository":{"id":38206486,"uuid":"185797683","full_name":"eyereasoner/eye","owner":"eyereasoner","description":"Euler Yet another proof Engine","archived":false,"fork":false,"pushed_at":"2026-03-27T22:31:37.000Z","size":239156,"stargazers_count":161,"open_issues_count":22,"forks_count":19,"subscribers_count":12,"default_branch":"master","last_synced_at":"2026-03-28T00:24:12.414Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://eyereasoner.github.io/eye/","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/eyereasoner.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2019-05-09T12:48:27.000Z","updated_at":"2026-03-27T22:31:33.000Z","dependencies_parsed_at":"2026-01-16T11:08:22.082Z","dependency_job_id":null,"html_url":"https://github.com/eyereasoner/eye","commit_stats":null,"previous_names":["josd/eye"],"tags_count":1257,"template":false,"template_full_name":null,"purl":"pkg:github/eyereasoner/eye","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eyereasoner%2Feye","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eyereasoner%2Feye/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eyereasoner%2Feye/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eyereasoner%2Feye/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/eyereasoner","download_url":"https://codeload.github.com/eyereasoner/eye/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eyereasoner%2Feye/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31515144,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-07T03:10:19.677Z","status":"ssl_error","status_checked_at":"2026-04-07T03:10:13.982Z","response_time":105,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-20T14:50:23.327Z","updated_at":"2026-04-07T13:32:35.559Z","avatar_url":"https://github.com/eyereasoner.png","language":"Prolog","funding_links":[],"categories":["Prolog","人工智能"],"sub_categories":[],"readme":"# Euler Yet another proof Engine - EYE\n\n![EYE](https://josd.github.io/images/eye.png)\n\n[![DOI](https://zenodo.org/badge/185797683.svg)](https://zenodo.org/doi/10.5281/zenodo.12398545)\n\nEYE is a reasoning engine supporting the [Semantic Web layers](http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a) and implementing [Notation3](https://w3c.github.io/N3/spec/).\n\nEYE performs _forward_ and _backward chaining_ along Euler paths.  Forward chaining is applied for rules using `=\u003e` in Notation3 and backward chaining is applied for rules using `\u003c=` in Notation3 which one can imagine as user defined built-ins. Euler paths are roughly \"don't step in your own steps\" which is inspired by what [Leonhard Euler](https://en.wikipedia.org/wiki/Leonhard_Euler) discovered in 1736 for the [Königsberg Bridge Problem](http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html). \n\n## Installation\n\n- Install SWI-Prolog from http://www.swi-prolog.org/Download.html\n- Test the SWI-Prolog installation via command line `swipl --version` and it should return the installed version number.\n\n- Run the installation script `install.sh [--prefix=Prefix]`.  The default prefix is /usr/local.  This will\n    - create the EYE image file at `$prefix/lib/eye.pvm`\n    - create the EYE launch script eye ub `$prefix/bin/eye`\n\nTest the EYE installation via command line `eye --version` and it should return the version which is in the file VERSION.\n\n## Usage\n\nCreate a test Notation3 file. We use the file `socrates.n3` as example:\n\n```(Turtle)\n$ cat socrates.n3\n@prefix rdfs: \u003chttp://www.w3.org/2000/01/rdf-schema#\u003e.\n@prefix : \u003chttp://example.org/socrates#\u003e.\n\n:Socrates a :Human.\n:Human rdfs:subClassOf :Mortal.\n\n{\n    ?S a ?A .\n    ?A rdfs:subClassOf ?B . \n} \n=\u003e \n{\n    ?S a ?B .\n} .\n```\n\nRun the EYE reasoner without proof explanation, in quiet mode and passing all deductive closures \nto the output:\n\n```\n$ eye --nope --quiet --pass socrates.n3\n@prefix rdfs: \u003chttp://www.w3.org/2000/01/rdf-schema#\u003e.\n@prefix : \u003chttp://example.org/socrates#\u003e.\n\n:Socrates a :Human.\n:Socrates a :Mortal.\n:Human rdfs:subClassOf :Mortal.\n``` \n\n## Tutorial and example scripts\n\n- [Eye command line arguments and flags](https://github.com/eyereasoner/eye/tree/master/documentation/command_line.md)\n- [Eye reasoning examples and test cases](https://github.com/eyereasoner/eye/tree/master/reasoning)\n- [Notation3 by example](https://github.com/eyereasoner/Notation3-By-Example)\n- [RDF Surfaces aka BLOGIC](https://github.com/eyereasoner/eye/tree/master/documentation/blogic.md)\n- [Running EYE using Docker](https://github.com/eyereasoner/eye/tree/master/documentation/docker.md)\n\n## Online versions of EYE\n\n- Notation3 Editor https://editor.notation3.org/\n- Semantic Web Reasoning With N3 https://n3.restdesc.org/rules/executing-rules/\n- Eyebrow https://github.com/eyereasoner/eyebrow\n\n## References\n\n- Home page of EYE https://eyereasoner.github.io/eye/\n- Former home page of EYE http://eulersharp.sourceforge.net/\n- Notation3 W3C Draft Community Group Report https://w3c.github.io/N3/spec/\n- More EYE tools and scripts https://github.com/eyereasoner/\n- Design Issues of Tim Berners-Lee: [The Semantic Web as a language of logic](https://www.w3.org/DesignIssues/Logic.html)\n- PhD thesis of Dörthe Arndt: [Notation3 as the Unifying Logic for the Semantic Web](https://biblio.ugent.be/publication/8634507)\n\n## Publications\n\nVerborgh, R. , De Roo, J. : Drawing Conclusions from Linked Data on the Web: The EYE Reasoner. IEEE Software (2015) [Online Version](https://ieeexplore.ieee.org/abstract/document/7093047?casa_token=LL6C9FqiqAQAAAAA:ykrmxL6lxFn5KyHZDj8HkcMuME3DXrOEYmgao3XXeFUp5kPXW2hyCI7MmE9zBuvohYqOo7WnSCFF)\n\n## License \u0026 copyright\n\n[MIT License](./LICENSE)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feyereasoner%2Feye","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Feyereasoner%2Feye","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Feyereasoner%2Feye/lists"}