Popular repositories Loading

1. Sequoia Sequoia Public

   Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning

   Scala 11 2

2. linkgopher linkgopher Public

   Forked from az0/linkgopher

   Fork of Link Gopher that extracts links from the web pages of all tabs in the current window

   JavaScript 2

3. OWLSyntaxConverter OWLSyntaxConverter Public

   Utility to convert OWL ontologies to different formats, including OWL syntaxes and RDF/XML.

   Java 1 1

4. jautomata jautomata Public

   Forked from abailly/jautomata

   Java library for manipulating various kind of automata

   Java

5. condor-reasoner condor-reasoner Public

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

   Web Ontology Language

6. website website Public

   Forked from sbt/website

   The source for scala-sbt.org

   CSS