EYE N3 Reasoner
Home of the EYE N3 rule reasoner and related software libraries
Pinned
Loading
Euler Yet another proof Engine
HTML
125
17
Repositories
Showing 10 of 22 repositories
eye-js
Public
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
eyereasoner/eye-js’s past year of commit activity
TypeScript
38
MIT
5
16
8
Updated Oct 22, 2024
eye
Public
Euler Yet another proof Engine
eyereasoner/eye’s past year of commit activity
HTML
125
MIT
17
9
0
Updated Oct 21, 2024
eyereasoner/Koreografeye’s past year of commit activity
TypeScript
10
MIT
2
3
3
Updated Oct 21, 2024
euler
Public
Looking at the eye reasoning cases from a standard prolog perspective
eyereasoner/euler’s past year of commit activity
Prolog
1
MIT
0
0
0
Updated Oct 18, 2024
lingua
Public
The lingua reasoner.
eyereasoner/lingua’s past year of commit activity
Prolog
1
MIT
0
0
0
Updated Oct 16, 2024
eyereasoner/rdfsurfaces-tests’s past year of commit activity
JavaScript
2
2
0
0
Updated Oct 16, 2024
lib-owl
Public
An owl component library
eyereasoner/lib-owl’s past year of commit activity
Shell
2
1
0
0
Updated Oct 14, 2024
ling2n3
Public
A Lingua to Notation3 translator
eyereasoner/ling2n3’s past year of commit activity
Shell
0
0
0
0
Updated Aug 31, 2024
team-pi
Public
Policy processing experiments
eyereasoner/team-pi’s past year of commit activity
Shell
0
0
0
0
Updated Aug 7, 2024
n32s
Public
Notation3 (RDF Surfaces) to N3S precompiler
eyereasoner/n32s’s past year of commit activity
TypeScript
2
1
0
0
Updated May 22, 2024
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…
You can’t perform that action at this time.