pyfactxx
Reasoner library
Provides Python bindings for an optimized description logic reasoner
Python bindings for upgraded FaCT++ description logic reasoner
23 stars
8 watching
3 forks
Language: Java
last commit: about 2 years agoLinked from 1 awesome list
description-logicsontologiesontologyowlowl2owlapirdflibreasonerreasoner-benchmarksemantic-web
ozekik/awesome-ontologyRelated 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 |
 julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 gtfierro/reasonable | An OWL 2 RL reasoner with performance optimized for data processing tasks | 77 |
 ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
 jonlaing/rationale | A Ramda-inspired utility library for ReasonML/OCaml. | 275 |
 stardog-union/pellet | An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations. | 312 |
| julianmendez/cel | An algorithmic reasoner for describing and inferring relationships in large-scale ontologies | 17 |
 liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
 ruby-rdf/rdf-reasoner | A Ruby-based system for reasoning over RDF vocabularies and generating entailed statements based on base rules | 18 |
 galigator/openllet | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 101 |
 reasonml/reason-native | Tools and utilities to effectively write native Reason code | 460 |
 andrewdbate/sequoia | An OWL 2 DL reasoner with multithreaded reasoning capabilities | 11 |
 sertkaya/elephant-reasoner | A consequence-based reasoner for Description Logics ontology language | 8 |
| reasonml/red | A tool that enables step-by-step debugging and inspection of OCaml and Reason code | 82 |
 proycon/python-frog | A Python binding to a C++ NLP tool for Dutch language processing tasks | 47 |