HyLAR-Reasoner
by ucbl
HyLAR reasoner
AI summary
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
- stars
- 61
- forks
- 13
- watching
- 8
- awesome lists
- 2
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
OWL reasoner
A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining
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
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
RDF reasoner
A Ruby-based system for reasoning over RDF vocabularies and generating entailed statements based on base rules
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
Reasoner library
Provides Python bindings for an optimized description logic reasoner
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
Reasoner
A consequence-based reasoner for Description Logics ontology language
Reasoner
An OWL 2 DL reasoner with multithreaded reasoning capabilities
Multimodal Reasoner
An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning
ReasonML integrator
A toolset that enables conversion and integration of ReasonML with standard programming languages and web development environments.
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.
Reasoning engine
A reasoning engine that supports the Semantic Web layers and implements Notation3.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions HyLAR-Reasoner.
