reasonable
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
OWL 2 Reasoner built on DataFrog
77 stars
9 watching
4 forks
Language: Rust
last commit: about 1 year ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining | 145 |
| | Provides Python bindings for an optimized description logic reasoner | 23 |
| | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
| | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
| | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 101 |
| | A Ruby-based system for reasoning over RDF vocabularies and generating entailed statements based on base rules | 18 |
| | Provides benchmarking policies and datasets for offline reinforcement learning | 85 |
| | Testing tool for validating application output against expected versions. | 38 |
| | Automates load and performance testing of web applications by replaying access logs | 179 |
| | A collection of real-world datasets and practical reinforcement learning baselines for recommendation systems. | 220 |
| | A Ramda-inspired utility library for ReasonML/OCaml. | 275 |
| | An integration of the Ghidra decompiler into radare2 for native code analysis and reverse engineering. | 358 |
| | A high-performance implementation of reinforcement learning training pipelines using JAX and PyTorch-like functionality | 755 |
| | A game implementation in Reason, using functional programming principles and React, with simplified UX and testing for a condensed gameplay experience | 14 |
| | A consequence-based reasoner for Description Logics ontology language | 8 |