Entity/quality-based logical definitions for the human skeletal phenome using PATO | IEEE Conference Publication | IEEE Xplore