Logical properties of foundational relations in bio-ontologies