Pinned Repositories
awesome-semantic-web
A curated list of various semantic web and linked data resources.
core
This repository stores the core code base of SemFacet
java-sdk
A source codes for execution (debugging) HOBBIT benchmarks and systems without deploying the HOBBIT platform
Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
KoncludeDocker
Building/compiling the Konclude reasoner with Docker
MORe
Modular OWL 2 reasoner
MORe-orig
Updated version of the original MORe OWL reasoner code
ore-2014-competition-framework
ORE 2014 Competition Framework
ore-competition-framework
PAGOdA
a conjunctive query answering engine over OWL 2 ontologies (clone from https://github.com/yujiaoz/PAGOdA)
andreas-steigmiller's Repositories
andreas-steigmiller/ore-competition-framework
andreas-steigmiller/ore-2014-competition-framework
ORE 2014 Competition Framework
andreas-steigmiller/PAGOdA
a conjunctive query answering engine over OWL 2 ontologies (clone from https://github.com/yujiaoz/PAGOdA)
andreas-steigmiller/awesome-semantic-web
A curated list of various semantic web and linked data resources.
andreas-steigmiller/core
This repository stores the core code base of SemFacet
andreas-steigmiller/java-sdk
A source codes for execution (debugging) HOBBIT benchmarks and systems without deploying the HOBBIT platform
andreas-steigmiller/Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
andreas-steigmiller/KoncludeDocker
Building/compiling the Konclude reasoner with Docker
andreas-steigmiller/MORe
Modular OWL 2 reasoner
andreas-steigmiller/MORe-orig
Updated version of the original MORe OWL reasoner code
andreas-steigmiller/owllink-owlapi-adapter
OWLlink OWL API adapter
andreas-steigmiller/PAGOdA-forked
a conjunctive query answering engine over OWL 2 ontologies
andreas-steigmiller/rasqal
Redland Rasqal RDF Query Library
andreas-steigmiller/Test2
andreas-steigmiller/vss-ontology
Design of the Vehicle Signal Ontology VSSo and example of use with SOSA/SSN and STEP