BiPON: une preuve de concept sur la manière de combiner formellement la biologie systémique et les bio-ontologies.