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: 4 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
rdflib/owl-rl | A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining | 145 |
tilde-lab/pyfactxx | Provides Python bindings for an optimized description logic reasoner | 23 |
liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
galigator/openllet | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 101 |
ruby-rdf/rdf-reasoner | A Ruby-based system for reasoning over RDF vocabularies and generating entailed statements based on base rules | 18 |
google-research/deep_ope | Provides benchmarking policies and datasets for offline reinforcement learning | 85 |
calder/rust-goldenfile | Testing tool for validating application output against expected versions. | 38 |
igrigorik/autoperf | Automates load and performance testing of web applications by replaying access logs | 179 |
fuxiailab/rl4rs | A collection of real-world datasets and practical reinforcement learning baselines for recommendation systems. | 220 |
jonlaing/rationale | A Ramda-inspired utility library for ReasonML/OCaml. | 275 |
radareorg/r2ghidra | An integration of the Ghidra decompiler into radare2 for native code analysis and reverse engineering. | 358 |
luchris429/purejaxrl | A high-performance implementation of reinforcement learning training pipelines using JAX and PyTorch-like functionality | 755 |
alanrsoares/2048-reasons | A game implementation in Reason, using functional programming principles and React, with simplified UX and testing for a condensed gameplay experience | 14 |
sertkaya/elephant-reasoner | A consequence-based reasoner for Description Logics ontology language | 8 |