Anatomical reasoning in the informatics age: Principles, ontologies, and agendas