Framework & GUI for Bayes Nets and other probabilistic models.
Machine learning algorithm using OWL
Natural Language Processing (NLP) for the Masses
Software to help automatic or manual realisation of ontologi alignment
Another free OWL/DL Reasoner
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Semantic Web Entailment Regime Translation and Inference Architecture