Sequoia
by andrewdbate
Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning
AI summary
Reasoner
An OWL 2 DL reasoner with multithreaded reasoning capabilities
- stars
- 11
- forks
- 2
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OWL reasoner
An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities
Reasoner
A consequence-based reasoner for Description Logics ontology language
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
EL reasoner
A reasoner for the description logic EL+ ontology language
OWL reasoner library
An OWL EL reasoner implemented as an immutable functional data structure in Scala, enabling concurrent reasoning and rapid classification of multiple datasets.
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
Reasoner library
Provides Python bindings for an optimized description logic reasoner
OWL reasoner
A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
Multimodal Reasoner
An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning
Reason puzzle builder
A starter kit for building Advent of Code puzzles in Reason
Utility library
A Ramda-inspired utility library for ReasonML/OCaml.
Decision tree library
A Python library providing a lightweight framework for building decision trees with categorical feature support
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Sequoia.
