Framework & GUI for Bayes Nets and other probabilistic models.
OWL/DL ontologies for linguistic annotations
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