Julian Alfredo Mendez

cel. A lightweight Description Logic reasoner for large-scale biomedical ontologies

fcalib. Formal Concept Analysis Library

born. Bayesian Ontology Reasoner

jcel. Reasoner for the description logic EL+.

jsexp. Parser in Java for Lisp S-expressions.

soda. Object-oriented functional language to describe, analyze, and model human-centered problems

wikihtml. Application in Java that converts wikitext documents into HTML documents.

ontocomp. Protégé plugin for completing OWL ontologies

jproblog. Java adapter for ProbLog

tabulas. System to manage human-readable tables using files

uel. Tool for finding unifiers in the description logic EL

ontocomplib. Ontology Completion Library

market. Multi-agent prototype of a market modeled in Soda that uses formal verification.

tiles. Framework to create formal configurations of constraints.

wikihypergraph. Java

gel. Generalization algorithms for the description logics EL and extensions.

genericantfile. Generic Ant file to compile modules with Ivy, using details from Maven POM files

tabula. System to manage human-readable tables using files