owl-reasoner
There are 9 repositories under owl-reasoner topic.
ucbl/HyLAR-Reasoner
HyLAR reasoner
konclude/Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
langston-barrett/rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
AKSW/owlapy
something like OWL API for Python
sichkar-valentyn/Knowledge_Base_Represented_by_Semantic_Web_Language
Semantic Web languages OWL and RDF for knowledge representation of Alarm-Warning system for mobile robot showing the states for each sensor
anaolicosta/ontop
Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).
benhid/nora
Spark-based OWL reasoner
rolandbernard/factplusplus
Fork of the FaCT++ reasoner for OWL 2 DL
spacewalk01/spark-owl-reasoner
Spark Implementation of RDFS and OWL reasoning engine (Big Data)