owl-reasoner

There are 9 repositories under owl-reasoner topic.

ucbl/HyLAR-Reasoner
HyLAR reasoner
Language:JavaScript60 8 1713
konclude/Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
Language:C++35 9 215
langston-barrett/rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Language:Rust5 2 1
AKSW/owlapy
something like OWL API for Python
Language:Python4 24 21
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
3 1 0
anaolicosta/ontop
Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).
Language:Java1 1 00
benhid/nora
Spark-based OWL reasoner
Language:Java1 1 1
rolandbernard/factplusplus
Fork of the FaCT++ reasoner for OWL 2 DL
Language:Java2 0
spacewalk01/spark-owl-reasoner
Spark Implementation of RDFS and OWL reasoning engine (Big Data)
Language:Scala1 01