Skip to content

@eyereasoner EYE N3 Reasoner

Change the repository type filter

All

    Repositories list

    24 repositories

    • color

      Public
      Condition logic reasoner
      Prolog
      •
      MIT License
      •0•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • eye

      Public
      Euler Yet another proof Engine
      HTML
      •
      MIT License
      •17•124•11•0•Updated Nov 15, 2024Nov 15, 2024

    • eye-js

      Public
      A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
      javascriptsemantictypescriptwebsolidrdfproofowlsurfacesreasoner
      TypeScript
      •
      MIT License
      •5•39•16•9•Updated Nov 14, 2024Nov 14, 2024

    • Koreografeye

      Public
      A web choreography service using eye
      TypeScript
      •
      MIT License
      •2•10•3•4•Updated Nov 13, 2024Nov 13, 2024

    • euler

      Public
      Looking at the eye reasoning cases from a standard prolog perspective
      Prolog
      •
      MIT License
      •0•1•0•0•Updated Nov 12, 2024Nov 12, 2024

    • rdfpackages

      Public
      rdfpackages can contain data, logic and proofs described in RDF
      Shell
      •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • lingua

      Public
      The lingua reasoner.
      Prolog
      •
      MIT License
      •0•1•0•0•Updated Oct 16, 2024Oct 16, 2024

    • rdfsurfaces-tests

      Public
      A test kit for RDF Surfaces
      JavaScript
      •2•2•0•0•Updated Oct 16, 2024Oct 16, 2024

    • lib-owl

      Public
      An owl component library
      Shell
      •1•3•0•0•Updated Oct 14, 2024Oct 14, 2024

    • ling2n3

      Public
      A Lingua to Notation3 translator
      Shell
      •0•0•0•0•Updated Aug 31, 2024Aug 31, 2024

    • team-pi

      Public
      Policy processing experiments
      Shell
      •0•0•0•0•Updated Aug 7, 2024Aug 7, 2024

    • n32s

      Public
      Notation3 (RDF Surfaces) to N3S precompiler
      rdfprolognotation3
      TypeScript
      •1•2•0•0•Updated May 22, 2024May 22, 2024

    • Notation3-By-Example

      Public
      Example N3 scripts to demonstrate the various built-in functions
      linked-datan3notation3
      Shell
      •
      MIT License
      •3•12•1•0•Updated Apr 4, 2024Apr 4, 2024

    • forwarder

      Public
      Translate Notation3 backward rules into forward rules
      Shell
      •1•2•0•0•Updated Mar 2, 2024Mar 2, 2024

    • reasoning-service

      Public
      Python
      •1•5•0•1•Updated Feb 15, 2024Feb 15, 2024

    • lib-rdfs

      Public
      An rdfs component library
      Shell
      •2•4•0•1•Updated Feb 1, 2024Feb 1, 2024

    • KoreografeyeDemo

      Public
      Demonstrations for the Koreografeye project
      semantic-weborchestrationrules-enginereasoningnotation3
      1•0•2•0•Updated Jan 8, 2024Jan 8, 2024

    • Koreografeye-Plugin

      Public
      A collection of Koreaografeye plugin extensions
      TypeScript
      •1•0•2•0•Updated Sep 8, 2023Sep 8, 2023

    • line2surface

      Public
      Compile a line syntax into RDF Surfaces
      Prolog
      •1•2•0•0•Updated Apr 23, 2023Apr 23, 2023

    • eye.js

      Public
      TypeScript
      •0•3•1•1•Updated Jan 9, 2023Jan 9, 2023

    • EyeServer

      Public
      EyeServer is a server for the EYE reasoner.
      JavaScript
      •
      Other
      •8•31•3•0•Updated Jan 7, 2023Jan 7, 2023

    • eyebrow

      Public archive
      Eye reasoning in the browser
      HTML
      •
      MIT License
      •2•6•0•0•Updated Dec 16, 2022Dec 16, 2022

    • EyeEarl

      Public archive
      EARL report generator for EYE
      JavaScript
      •0•1•0•0•Updated Mar 4, 2020Mar 4, 2020

    • EyeClient

      Public
      EyeClient is a browser widget for the EYE reasoner.
      JavaScript
      •
      Other
      •1•13•0•0•Updated Oct 13, 2017Oct 13, 2017