pyfactxx
by tilde-lab
Python bindings for upgraded FaCT++ description logic reasoner
AI summary
Reasoner library
Provides Python bindings for an optimized description logic reasoner
- stars
- 23
- forks
- 3
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OWL reasoner
A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining
EL reasoner
A reasoner for the description logic EL+ ontology language
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
Utility library
A Ramda-inspired utility library for ReasonML/OCaml.
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
OWL reasoner
An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities
RDF reasoner
A Ruby-based system for reasoning over RDF vocabularies and generating entailed statements based on base rules
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
Reason Code Tools
Tools and utilities to effectively write native Reason code
Reasoner
An OWL 2 DL reasoner with multithreaded reasoning capabilities
Reasoner
A consequence-based reasoner for Description Logics ontology language
Debugger
A tool that enables step-by-step debugging and inspection of OCaml and Reason code
NLP library
A Python binding to a C++ NLP tool for Dutch language processing tasks
Featured in 1 awesome list
Each link jumps to the spot where the list mentions pyfactxx.
