An ontology for the formalization and visualization of scientific knowledge