Ontologies for very large knowledge bases in materials science: a case study