ProbOnto: ontology and knowledge base of probability distributions