PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web