Repositories list

• evee

  Public
  Library and Protégé plugin for generating Description Logic explanations

  Java

  •

  MIT License

  •1•16•36•1•Updated Feb 20, 2026Feb 20, 2026

• elexplicator

  Public
  Java

  •

  MIT License

  •0•1•0•0•Updated Feb 10, 2026Feb 10, 2026

• lat-scala-dl-tools

  Public
  A collection of utility methods for dealing with OWL/DL constructs in Scala and Java

  Scala

  •

  MIT License

  •0•2•0•0•Updated Jan 30, 2026Jan 30, 2026

• gs-ui-swing

  Public
  GraphStream Swing user interface fork for Java 11

  Java

  •

  Other

  •17•0•0•0•Updated Jan 15, 2026Jan 15, 2026

• gs-core

  Public
  Graphstream core fork for Java 11

  Java

  •

  Other

  •112•0•0•0•Updated Jan 15, 2026Jan 15, 2026

• meteor-proofs

  Public
  An extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains

  Python

  •

  MIT License

  •0•1•0•0•Updated Sep 23, 2025Sep 23, 2025

• evee-evaluation

  Public
  Evaluation code for the proof generators of evee

  Java

  •

  MIT License

  •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

• abox-repairs-wrt-static-tbox

  Public
  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Aug 7, 2023Aug 7, 2023

• quelk

  Public
  A prototypical temporal OMQA system

  Scala

  •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• gel

  Public
  Generalization algorithms for the description logics EL and extensions.

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• ontocomplib

  Public
  Ontology Completion Library

  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• ontocomp

  Public
  Protégé plugin for completing OWL ontologies

  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• jproblog

  Public
  Java adapter for ProbLog

  Java

  •

  Apache License 2.0

  •2•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• uel

  Public
  Tool for finding unifiers in the description logic EL

  Java

  •

  Apache License 2.0

  •3•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• fcalib

  Public
  FCA library

  Java

  •

  GNU General Public License v3.0

  •9•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• born

  Public
  Bayesian Ontology Reasoner

  Java

  •

  Apache License 2.0

  •6•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• jcel

  Public
  Reasoner for the description logic EL+.

  Java

  •

  Apache License 2.0

  •6•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• cel

  Public
  A lightweight Description Logic reasoner for large-scale biomedical ontologies

  Common Lisp

  •3•0•0•0•Updated Jan 26, 2023Jan 26, 2023