elephant-reasoner. ELepHant: An OWL 2 EL Reasoner
paclo. Probably Approximately Correct Ontology Learning
afca. argumentation framework using closed sets
