Semantic technologies for the automation of research in biomedicine

Abstract

The use of computers is changing the way that science is described and reported. Scientific knowledge is best expressed in formal logical languages with associated probabilities. Only formal languages provide sufficient semantic clarity to ensure reproducibility and the free exchange of scientific knowledge. Despite the advantages of logic, most scientific knowledge is expressed only in natural languages. This is now changing through developments such as the Semantic Web and ontologies.