Popular repositories Loading

1. leancor leancor Public

   Forked from adrianomelo/leancor

   OWL Reasoner written in prolog

   Web Ontology Language

2. raccoon raccoon Public

   Forked from dmfilho/raccoon

   An experimental automted reasoner for description logics using a modified version of the connection method.

   C

3. pgen pgen Public

   Forked from dmfilho/pgen

   A Parser Generator that is able to generate parsers that work in the C (C99) language and support UTF-8.

   C++

4. GryphonFramework GryphonFramework Public

   Forked from adrielcafe/GryphonFramework

   A Framework for integrating ontologies and relational databases

   Web Ontology Language