Bidirectional mereological reasoning in anatomical knowledge bases. - Schulz, Stefan (2001)