Euler Yet another proof Engine
Java RDF Framework
Semantic researcher networking
S-Match is a semantic matching framework.
commandline syntax convertor for RDF
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Tecnologie di semantic per la PA