{"action":"opened","issue":{"url":"https://api.github.com/repos/obophenotype/human-phenotype-ontology/issues/522","labels_url":"https://api.github.com/repos/obophenotype/human-phenotype-ontology/issues/522/labels{/name}","comments_url":"https://api.github.com/repos/obophenotype/human-phenotype-ontology/issues/522/comments","events_url":"https://api.github.com/repos/obophenotype/human-phenotype-ontology/issues/522/events","html_url":"https://github.com/obophenotype/human-phenotype-ontology/issues/522","id":111735376,"number":522,"title":"Make clear the distinction between short digit and brachydactyly","user":{"login":"cmungall","id":50745,"avatar_url":"https://avatars.githubusercontent.com/u/50745?v=3","gravatar_id":"","url":"https://api.github.com/users/cmungall","html_url":"https://github.com/cmungall","followers_url":"https://api.github.com/users/cmungall/followers","following_url":"https://api.github.com/users/cmungall/following{/other_user}","gists_url":"https://api.github.com/users/cmungall/gists{/gist_id}","starred_url":"https://api.github.com/users/cmungall/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cmungall/subscriptions","organizations_url":"https://api.github.com/users/cmungall/orgs","repos_url":"https://api.github.com/users/cmungall/repos","events_url":"https://api.github.com/users/cmungall/events{/privacy}","received_events_url":"https://api.github.com/users/cmungall/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-10-16T00:40:07Z","updated_at":"2015-10-16T00:40:07Z","closed_at":null,"body":"Note the reason currently infers short digit == brachydactly\r\n\r\nDiscovered while investigating\r\nhttps://github.com/monarch-initiative/monarch-app/issues/1011\r\nthough I do not think related\r\n\r\nThe reason here is simply sharing the same equiv axiom, equivalent to:\r\n```\r\n'has part' some \r\n    ('decreased length'\r\n     and ('inheres in' some digit)\r\n     and ('has modifier' some abnormal))\r\n```\r\n\r\nIn general we should never have shared equivalence axioms in the same ontology.\r\n\r\nThe 'short digit' axiom is I think trivially correct. I think that either brachydactyly refers to some difference that is hard to axiomatize; see the comment for short finger:\r\n*Note that the term brachydactyly is reserved for specific patterns of short digits, see HP:0001156.*\r\n\r\nOr they should be merged. Expert opinion sought.\r\n\r\nThis is the def for brachydactyly:\r\n\r\n```\r\nDigits that appear disproportionately short compared to the hand/foot. The word brachydactyly is used to describe a series of Mendelian diseases characterized by distinct patterns of shortened digits (brachydactyly types A-E). This is the sense used here, however, it is preferable to described the observed phenotypic abnormalities precisely.\r\n```\r\n\r\nand for short digit:\r\n\r\n```\r\nOne or more digit that appears disproportionately short compared to the hand/foot, whereby either the entire digit or a specific phalanx is shortened.\r\n```\r\n\r\nNote that the core part of the text def (before '.') is indistinguishable to my eyes."}}