eye
Reasoning engine
A reasoning engine that supports the Semantic Web layers and implements Notation3.
Euler Yet another proof Engine
127 stars
12 watching
17 forks
Language: HTML
last commit: 2 months ago
Linked from 2 awesome lists
semantalytics/awesome-semantic-web
ozekik/awesome-ontologyRelated projects:
| Repository | Description | Stars |
|---|---|---|
 venil7/reason-chess | A chess engine built using ReasonML with features like minimax algorithm and alpha-beta pruning for game development. | 23 |
 julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 thinkjs/think-view | A View Engine for building dynamic web pages in ThinkJS applications | 5 |
 ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
| julianmendez/cel | An algorithmic reasoner for describing and inferring relationships in large-scale ontologies | 17 |
 reasonml/reason-tools | A toolset that enables conversion and integration of ReasonML with standard programming languages and web development environments. | 372 |
| reasonml/red | A tool that enables step-by-step debugging and inspection of OCaml and Reason code | 82 |
 sertkaya/elephant-reasoner | A consequence-based reasoner for Description Logics ontology language | 8 |
 oakes/odoyle-rules | A Clojure-based rules engine that provides a flexible and simple way to define and execute business rules | 539 |
 archie3d/juce_litehtml | An engine that renders HTML documents in a JUCE-based framework. | 6 |
 ggg0919/cantor | An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning | 73 |
| reasonml/reason-native | Tools and utilities to effectively write native Reason code | 460 |
 ded/qwery | An HTML query selector engine providing utility functions for DOM manipulation and event handling | 1,111 |
 jatinchowdhury18/rtneural | Provides a lightweight neural network inferencing engine for real-time systems | 614 |
 stardog-union/pellet | An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations. | 312 |