{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":44382767,"defaultBranch":"main","name":"elk-reasoner","ownerLogin":"liveontologies","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-10-16T12:13:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15157476?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716570270.0","currentOid":""},"activityList":{"items":[{"before":"c062a55d362461297a4214e4dabc18a936305af4","after":"cc556787886e1ace3ccfef3423dd2a727de91053","ref":"refs/heads/main","pushedAt":"2024-07-11T10:15:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Add java_home to path in appveyor config, minor tweaks","shortMessageHtmlLink":"Add java_home to path in appveyor config, minor tweaks"}},{"before":"030b7e86d2cbae434b690e2532c41588a45175fb","after":"c062a55d362461297a4214e4dabc18a936305af4","ref":"refs/heads/main","pushedAt":"2024-05-31T09:32:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Set WARN as default log level of elk-cli","shortMessageHtmlLink":"Set WARN as default log level of elk-cli"}},{"before":"b8ac5ce83db0704a7359d96aa382891e2f547863","after":"030b7e86d2cbae434b690e2532c41588a45175fb","ref":"refs/heads/main","pushedAt":"2024-05-25T21:14:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Add links to maven central artifacts","shortMessageHtmlLink":"Add links to maven central artifacts"}},{"before":"a490afee7941f917b77c1c3b4aafc9a710011a48","after":"b8ac5ce83db0704a7359d96aa382891e2f547863","ref":"refs/heads/main","pushedAt":"2024-05-24T17:53:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Release v0.6.0","shortMessageHtmlLink":"Release v0.6.0"}},{"before":null,"after":"b8ac5ce83db0704a7359d96aa382891e2f547863","ref":"refs/heads/release","pushedAt":"2024-05-24T17:04:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Release v0.6.0","shortMessageHtmlLink":"Release v0.6.0"}},{"before":"3d06f80bed196eb7c937b4a1c1f6a8003f7742a6","after":null,"ref":"refs/heads/release/v0.4.0","pushedAt":"2024-05-24T17:04:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}},{"before":"93cef19be51612586386c68d00356fe5141b97c6","after":"3d8990daae6554756e12d87eaede26b82aa19e30","ref":"refs/heads/p5update","pushedAt":"2024-05-24T13:34:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Use snapshot link for testing","shortMessageHtmlLink":"Use snapshot link for testing"}},{"before":null,"after":"93cef19be51612586386c68d00356fe5141b97c6","ref":"refs/heads/p5update","pushedAt":"2024-05-24T12:42:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Use p5update branch for protege update url","shortMessageHtmlLink":"Use p5update branch for protege update url"}},{"before":"e637863bdf21eb10e8009fbfa6fd91c05097cc43","after":"a490afee7941f917b77c1c3b4aafc9a710011a48","ref":"refs/heads/main","pushedAt":"2024-05-23T19:27:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"New README.md","shortMessageHtmlLink":"New README.md"}},{"before":"96b33314c24f2e37db9a375248bcfd8455454701","after":"e637863bdf21eb10e8009fbfa6fd91c05097cc43","ref":"refs/heads/main","pushedAt":"2024-05-23T18:53:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"New README.md","shortMessageHtmlLink":"New README.md"}},{"before":"151a69da547d7160d350ece30e97801a7dbc0d3e","after":"96b33314c24f2e37db9a375248bcfd8455454701","ref":"refs/heads/main","pushedAt":"2024-05-23T14:12:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Re-enable tests for some unsupported features\n\nbecause IncompletenessMonitor should take care about them","shortMessageHtmlLink":"Re-enable tests for some unsupported features"}},{"before":"552857da3792ebd3c36232e71bd987dc9b56ff2b","after":"151a69da547d7160d350ece30e97801a7dbc0d3e","ref":"refs/heads/main","pushedAt":"2024-05-23T12:24:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Ignore context initializations when checking for saturated contexts\n\nSince saturated contexts are not set straight away, it is\npossible that after a saturation job for a context\nis processed but not yet marked as saturated, another job for the\nsame context is submitted and the insertion attempt happens\nafter the context for the first job is marked as saturated","shortMessageHtmlLink":"Ignore context initializations when checking for saturated contexts"}},{"before":"7116e682386791d1cb884f7c47568e47fd807b19","after":"552857da3792ebd3c36232e71bd987dc9b56ff2b","ref":"refs/heads/main","pushedAt":"2024-05-23T11:35:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Ignore context initializations when checking for saturated contexts\n\nSince saturated contexts are not set straight away, it is\npossible that after a saturation job for a context\nis processed but not yet marked as saturated, another job for the\nsame context is submitted and the insertion attempt happens\nafter the context for the first job is marked as saturated","shortMessageHtmlLink":"Ignore context initializations when checking for saturated contexts"}},{"before":"0ab37082745133083c679d0993f504ba97803a5b","after":"7116e682386791d1cb884f7c47568e47fd807b19","ref":"refs/heads/main","pushedAt":"2024-05-22T13:59:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Fix failing logback appender\n\nexception did not seem to fail the tests","shortMessageHtmlLink":"Fix failing logback appender"}},{"before":"160648443f22cebee24305de58a204cc8932c616","after":"0ab37082745133083c679d0993f504ba97803a5b","ref":"refs/heads/main","pushedAt":"2024-05-22T10:14:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Remove indexed classes using an atomic operation\n\nfound by FindBugs","shortMessageHtmlLink":"Remove indexed classes using an atomic operation"}},{"before":"0cac6014d220edeadfaa0cb47fbfd81db55dd381","after":"160648443f22cebee24305de58a204cc8932c616","ref":"refs/heads/main","pushedAt":"2024-05-22T10:05:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Decouple puli from elk-reasoner\n\nelk-reasoner no longer depends on puli and uses its own\nversion of inferences and proofs\n\nThis is done so that the reasoner implementation for the\nowl-api interface does not depend on additional\n(optional) libraries puli and owlapi-proofs, which are\nprovided by proof-based explanation plugins.\n\nThe problem was previously solved by providing these\nadditional libraries in the elk-protege zip, however\nProtege currently installs only one (first) bundle from\na zip file.\n\nMake puli and owlapi-proofs an optional dependency of\nelk-protege for these reasons.","shortMessageHtmlLink":"Decouple puli from elk-reasoner"}},{"before":"f2eeaf2e9c4c919c9666bbcc8cc659e21aed0b2d","after":"0cac6014d220edeadfaa0cb47fbfd81db55dd381","ref":"refs/heads/main","pushedAt":"2024-05-20T10:09:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Change groupId to io.github.liveontologies","shortMessageHtmlLink":"Change groupId to io.github.liveontologies"}},{"before":"a2cbe19e0632859dcc42aeacc4a6cdaa652925ac","after":"f2eeaf2e9c4c919c9666bbcc8cc659e21aed0b2d","ref":"refs/heads/main","pushedAt":"2024-05-20T08:37:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Change groupId to io.github.liveontologies","shortMessageHtmlLink":"Change groupId to io.github.liveontologies"}},{"before":"7fa8fbff91cb93e547eb2c600624f556d58cae86","after":"a2cbe19e0632859dcc42aeacc4a6cdaa652925ac","ref":"refs/heads/main","pushedAt":"2024-05-16T22:00:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Fix further javadoc warnings and errors","shortMessageHtmlLink":"Fix further javadoc warnings and errors"}},{"before":"01ab89c069e2e7c448403a4c0b6848ff3182ad8b","after":"7fa8fbff91cb93e547eb2c600624f556d58cae86","ref":"refs/heads/main","pushedAt":"2024-05-16T21:05:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Generate javadocs in appveyor build","shortMessageHtmlLink":"Generate javadocs in appveyor build"}},{"before":"8f0905b5750801eb9038c55e1ac2c8efc6d18ecf","after":"01ab89c069e2e7c448403a4c0b6848ff3182ad8b","ref":"refs/heads/main","pushedAt":"2024-05-14T18:42:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Extend release notes","shortMessageHtmlLink":"Extend release notes"}},{"before":"d79e3544edbdbf2b659e30f81fd7b9e3964e53a7","after":"8f0905b5750801eb9038c55e1ac2c8efc6d18ecf","ref":"refs/heads/main","pushedAt":"2024-05-13T13:41:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Use variables in update url","shortMessageHtmlLink":"Use variables in update url"}},{"before":"c72955125f84049ec424728c2be9cc8e4c2a6ec5","after":"d79e3544edbdbf2b659e30f81fd7b9e3964e53a7","ref":"refs/heads/main","pushedAt":"2024-05-07T17:02:56.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Remove executions from pluginMangement section\n\nand move them to the plugins section.\n\nUse pluginManagement only to set plugin versions.","shortMessageHtmlLink":"Remove executions from pluginMangement section"}},{"before":"173014e603defca403169654420c094467a1049c","after":"c72955125f84049ec424728c2be9cc8e4c2a6ec5","ref":"refs/heads/main","pushedAt":"2024-05-04T22:03:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"CI: deploy from main branch","shortMessageHtmlLink":"CI: deploy from main branch"}},{"before":"173014e603defca403169654420c094467a1049c","after":null,"ref":"refs/heads/master","pushedAt":"2024-05-04T21:52:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}},{"before":null,"after":"173014e603defca403169654420c094467a1049c","ref":"refs/heads/main","pushedAt":"2024-05-04T21:52:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"},"commit":{"message":"Generate copyright headers for new files","shortMessageHtmlLink":"Generate copyright headers for new files"}},{"before":"6ff14f29bb6b5edc6d4be22d4ed4fe1f09820949","after":null,"ref":"refs/heads/hotfix/swrl","pushedAt":"2024-05-04T21:50:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}},{"before":"7869ef3f6188e50a5dc081b13abc37a86a0e4d1a","after":null,"ref":"refs/heads/context-todo-tweaks","pushedAt":"2024-05-04T21:50:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}},{"before":"317691e0020271f1638aa3ffc96c1a723cf66f1e","after":null,"ref":"refs/heads/hotfix/issue_31","pushedAt":"2024-05-04T21:49:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}},{"before":"c2d497593a3498d2025bdf4feb0ff72e88fe8bb4","after":null,"ref":"refs/heads/hotfix/issue_27","pushedAt":"2024-05-04T21:49:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ykazakov","name":"Yevgeny Kazakov","path":"/ykazakov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2140361?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xMVQxMDoxNTozMC4wMDAwMDBazwAAAAR8ruH6","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xMVQxMDoxNTozMC4wMDAwMDBazwAAAAR8ruH6","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wNFQyMTo0OTo1MC4wMDAwMDBazwAAAARBl4eQ"}},"title":"Activity · liveontologies/elk-reasoner"}