Popular repositories Loading

1. aboxer aboxer Public

   A utility for converting axioms in OWL ontologies to assertions

   Java 2

2. cb-reasoner cb-reasoner Public

   Automatically exported from code.google.com/p/cb-reasoner

   OCaml 2 2

3. condor-reasoner condor-reasoner Public

   Automatically exported from code.google.com/p/condor-reasoner

   C++ 2 1

4. ore-2015-competition-framework ore-2015-competition-framework Public

   Forked from ignazio1977/ore-2014-competition-framework

   ORE 2015 Competition Framework

   Web Ontology Language 1

5. rw19-dl rw19-dl Public

   A tutorial on Description Logics reasoning given at the 15th Reasoning Web Summer School (RW 2019)

   Java 1 2

6. gst-examples gst-examples Public

   GStreamer example applications

   C 1