Popular repositoriesLoading

1. SequoiaSequoiaPublic

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

   Scala 12 2

2. linkgopherlinkgopherPublic

   Forked fromaz0/linkgopher

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

   JavaScript 2

3. OWLSyntaxConverterOWLSyntaxConverterPublic

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

   Java 1 1

4. jautomatajautomataPublic

   Forked fromabailly/jautomata

   Java library for manipulating various kind of automata

   Java

5. condor-reasonercondor-reasonerPublic

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

   Web Ontology Language

6. websitewebsitePublic

   Forked fromsbt/website

   The source for scala-sbt.org

   CSS