reasonable

RL reasoner

An OWL 2 RL reasoner with performance optimized for data processing tasks

OWL 2 Reasoner built on DataFrog

GitHub

77 stars
9 watching
4 forks
Language: Rust
last commit: 4 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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