{"action":"created","issue":{"url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/19","labels_url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/19/comments","events_url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/19/events","html_url":"https://github.com/zhengj2007/BFO-test/issues/19","id":96904855,"number":19,"title":"Policy on inverse relations","user":{"login":"zhengj2007","id":6249284,"avatar_url":"https://avatars.githubusercontent.com/u/6249284?v=3","gravatar_id":"","url":"https://api.github.com/users/zhengj2007","html_url":"https://github.com/zhengj2007","followers_url":"https://api.github.com/users/zhengj2007/followers","following_url":"https://api.github.com/users/zhengj2007/following{/other_user}","gists_url":"https://api.github.com/users/zhengj2007/gists{/gist_id}","starred_url":"https://api.github.com/users/zhengj2007/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zhengj2007/subscriptions","organizations_url":"https://api.github.com/users/zhengj2007/orgs","repos_url":"https://api.github.com/users/zhengj2007/repos","events_url":"https://api.github.com/users/zhengj2007/events{/privacy}","received_events_url":"https://api.github.com/users/zhengj2007/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/zhengj2007/BFO-test/labels/imported","name":"imported","color":"FFFFFF"},{"url":"https://api.github.com/repos/zhengj2007/BFO-test/labels/Priority-Medium","name":"Priority-Medium","color":"FFFFFF"},{"url":"https://api.github.com/repos/zhengj2007/BFO-test/labels/Type-BFO2-OWL","name":"Type-BFO2-OWL","color":"FFFFFF"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":14,"created_at":"2015-07-23T21:02:42Z","updated_at":"2015-07-23T21:03:54Z","closed_at":null,"body":"_From [alanruttenberg@gmail.com](https://code.google.com/u/alanruttenberg@gmail.com/) on January 13, 2012 14:12:34_\n\nBFO2 reference doesn't always define an inverse relation when a relation is defined. \r\nSee http://groups.google.com/group/bfo-owl-devel/browse_thread/thread/9527351b8a7e2d58/40117a6afbd3154f?lnk=gst&q=inverse#40117a6afbd3154f Sense from existing discussion is that always having inverse is desirable.\r\n\r\nThe proposal is that we always define the inverse. \r\nQ: Do we duplicate/rewrite documentation?\r\nQ: Do we ask that the inverses are given labels and mention in BFO2 reference?\n\n_Original issue: http://code.google.com/p/bfo/issues/detail?id=19_"},"comment":{"url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/comments/124239591","html_url":"https://github.com/zhengj2007/BFO-test/issues/19#issuecomment-124239591","issue_url":"https://api.github.com/repos/zhengj2007/BFO-test/issues/19","id":124239591,"user":{"login":"zhengj2007","id":6249284,"avatar_url":"https://avatars.githubusercontent.com/u/6249284?v=3","gravatar_id":"","url":"https://api.github.com/users/zhengj2007","html_url":"https://github.com/zhengj2007","followers_url":"https://api.github.com/users/zhengj2007/followers","following_url":"https://api.github.com/users/zhengj2007/following{/other_user}","gists_url":"https://api.github.com/users/zhengj2007/gists{/gist_id}","starred_url":"https://api.github.com/users/zhengj2007/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zhengj2007/subscriptions","organizations_url":"https://api.github.com/users/zhengj2007/orgs","repos_url":"https://api.github.com/users/zhengj2007/repos","events_url":"https://api.github.com/users/zhengj2007/events{/privacy}","received_events_url":"https://api.github.com/users/zhengj2007/received_events","type":"User","site_admin":false},"created_at":"2015-07-23T21:03:54Z","updated_at":"2015-07-23T21:03:54Z","body":"_From [cmung...@gmail.com](https://code.google.com/u/115850439786749293234/) on July 11, 2012 13:57:59_\n\nWhat about temporalized object properties not in the reference?\r\n\r\nFor example, the current owl-group bfo.owl lacks inverseProperties axioms for part-of-c-at-all-times. What is the policy here? Is this a temporary omission or intended for final release?\r\n\r\nI think these OPs should be named and declared inverses, somewhere. This presumably requires a new linguistic qualifier. E.g.\r\n\r\nInverseOf(\r\n  part-of-continuant-at-all-times\r\n  has-continuant-part-at-all-times-that-part-exists\r\n)\r\n\r\nI think many users of BFO would be surprised not to find this standard mereoligical inverse pairing.\r\n\r\nAlso, if the generic part relations are to go in RO (is this the plan? document? sorry haven't had time for the calls), I propose\r\n\r\nBFO:0000050 'is part of' replaced by--> RO:0000050, \"part_of\"\r\nBFO:0000051 'has part' replaced by--> RO:0000051, \"has_part\"\r\n\r\nSubPropertyOf(\r\n  bfo:continuant-part-of-at-all-times ro:part_of\r\n)\r\n\r\nSubPropertyOf(\r\n bfo:has-continuant-part-at-all-times-that-part-exists ro:has_part\r\n)\r\n\r\nAnd with additional expressivity (outside DL):\r\n\r\n  ro:part_of \r\n   equivalentTo \r\n    bfo:continuant-part-of-at-all-times OR \r\n    bfo:occurrent-part-of\r\n\r\n  ro:has_part\r\n   equivalentTo \r\n    bfo:has-continuant-part-at-all-times-that-part-exists OR \r\n    bfo:has-occurrent-part"}}