{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":41459104,"defaultBranch":"owlapiv4","name":"lsw2","ownerLogin":"alanruttenberg","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-27T01:39:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/241934?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1648058950.155298","currentOid":""},"activityList":{"items":[{"before":"0f74d2e6ff00da0c54be42a21a5d02dd3e9e0c46","after":"ea5b5c985568bad34b38b667ceff55284dd02290","ref":"refs/heads/owlapiv4","pushedAt":"2024-06-15T21:32:34.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add javaparser dependency","shortMessageHtmlLink":"Add javaparser dependency"}},{"before":"7493ab670a6cf9f492e0796941e9976e566d9cf1","after":"0f74d2e6ff00da0c54be42a21a5d02dd3e9e0c46","ref":"refs/heads/owlapiv4","pushedAt":"2024-04-26T01:58:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add some documentation","shortMessageHtmlLink":"Add some documentation"}},{"before":"f6c9388f7b75705c613efce2fa7d8f36f6bdc8cb","after":"7493ab670a6cf9f492e0796941e9976e566d9cf1","ref":"refs/heads/owlapiv4","pushedAt":"2024-03-28T17:34:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Bugfix rendering in case that you write (incorrectly) (:exists(?x) (f ?x) (g ?x)) which is understood to be an :and of the two clauses","shortMessageHtmlLink":"Bugfix rendering in case that you write (incorrectly) (:exists(?x) (f…"}},{"before":"7042149907b81bf7196283ed31709cf1d4fd6f5d","after":"f6c9388f7b75705c613efce2fa7d8f36f6bdc8cb","ref":"refs/heads/owlapiv4","pushedAt":"2024-02-24T03:48:00.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Move silent imports configuration to owlapi.lisp. Something wrong with my muffle warnings. For another day","shortMessageHtmlLink":"Move silent imports configuration to owlapi.lisp. Something wrong wit…"}},{"before":"9b7bbe3ed1b02022ea43dcd73c4fdda334fbdefe","after":"7042149907b81bf7196283ed31709cf1d4fd6f5d","ref":"refs/heads/owlapiv4","pushedAt":"2024-02-18T22:07:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Don't assume that bind has only one thing bound to so that :as is third in form. Better to allow expressions in bind expressions","shortMessageHtmlLink":"Don't assume that bind has only one thing bound to so that :as is thi…"}},{"before":"ec5e25cb6202f05c572082529d770a8c95d548af","after":"9b7bbe3ed1b02022ea43dcd73c4fdda334fbdefe","ref":"refs/heads/owlapiv4","pushedAt":"2024-02-14T22:18:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Group by before order by. Properly serialize double floats","shortMessageHtmlLink":"Group by before order by. Properly serialize double floats"}},{"before":"6a8841328fd62a59923564d5fed480050d5ecc34","after":"ec5e25cb6202f05c572082529d770a8c95d548af","ref":"refs/heads/owlapiv4","pushedAt":"2024-02-14T22:17:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Set abbreviations wasn't properly clearing before setting abbreviations again","shortMessageHtmlLink":"Set abbreviations wasn't properly clearing before setting abbreviatio…"}},{"before":"167db1c0282d2ab260eaca0dc69970a7852d9ae4","after":"6a8841328fd62a59923564d5fed480050d5ecc34","ref":"refs/heads/owlapiv4","pushedAt":"2024-02-12T01:08:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"ignoring imports wasn't working in owlapi. Added function to compare an ontology with a previous commit","shortMessageHtmlLink":"ignoring imports wasn't working in owlapi. Added function to compare …"}},{"before":"b85e4f1198a2add5ddcf5b31cd96bfa3049ef11c","after":"167db1c0282d2ab260eaca0dc69970a7852d9ae4","ref":"refs/heads/owlapiv4","pushedAt":"2024-01-25T22:27:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add newline for debug output","shortMessageHtmlLink":"Add newline for debug output"}},{"before":"71ebe8fa19f5f87025a2299f5e537ee22c076c46","after":"b85e4f1198a2add5ddcf5b31cd96bfa3049ef11c","ref":"refs/heads/owlapiv4","pushedAt":"2023-12-16T04:24:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"tweaks to showing source ontology in a module","shortMessageHtmlLink":"tweaks to showing source ontology in a module"}},{"before":"377729c318c62ae4edf84e205cbd8a274b3a516f","after":"71ebe8fa19f5f87025a2299f5e537ee22c076c46","ref":"refs/heads/owlapiv4","pushedAt":"2023-12-16T04:17:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add ability to control whether output in included in results of a proof attempt, to address race conditions using *last-z3-output*. Fix the responses for get-unsat-core.","shortMessageHtmlLink":"Add ability to control whether output in included in results of a pro…"}},{"before":"aac9b6feb2741b5fea8107e8e0f7bc88bd434bb5","after":"377729c318c62ae4edf84e205cbd8a274b3a516f","ref":"refs/heads/owlapiv4","pushedAt":"2023-12-11T00:28:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"default reasoner code wasn't prepared for :literal values","shortMessageHtmlLink":"default reasoner code wasn't prepared for :literal values"}},{"before":"6b6714bcd965e93831a797a6237714573eac6c44","after":"aac9b6feb2741b5fea8107e8e0f7bc88bd434bb5","ref":"refs/heads/owlapiv4","pushedAt":"2023-12-10T20:40:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Manually setting *print-length* could interfere with rendering long formulas, leading to syntax errors when ... was considered an unknown constant. Bind it to nil while rendering","shortMessageHtmlLink":"Manually setting *print-length* could interfere with rendering long f…"}},{"before":"85fae88a05d47111936e8f088f8435acb428769f","after":"6b6714bcd965e93831a797a6237714573eac6c44","ref":"refs/heads/owlapiv4","pushedAt":"2023-12-05T20:06:20.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Have sparql-endpoint-query ignore keywords it doesn't know","shortMessageHtmlLink":"Have sparql-endpoint-query ignore keywords it doesn't know"}},{"before":"0c34bbeef7058d8450a8479056f02ae12e819273","after":"85fae88a05d47111936e8f088f8435acb428769f","ref":"refs/heads/owlapiv4","pushedAt":"2023-11-28T23:45:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Forgot serialize-rdf","shortMessageHtmlLink":"Forgot serialize-rdf"}},{"before":"1ac7b5520a81f6ca69d3fa0cf6308f6f72f338e0","after":"0c34bbeef7058d8450a8479056f02ae12e819273","ref":"refs/heads/owlapiv4","pushedAt":"2023-11-28T23:44:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Fix bug in let-iris. Macro mess","shortMessageHtmlLink":"Fix bug in let-iris. Macro mess"}},{"before":"ce8b4a353d4f5a99a7d3e84084460c2694122c11","after":"1ac7b5520a81f6ca69d3fa0cf6308f6f72f338e0","ref":"refs/heads/owlapiv4","pushedAt":"2023-11-28T19:14:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add an ontology annotation rdfs:comment 'reasoner:<reasoner>' to default the reasoner for the ontology when loaded. e.g. reasoner:elk","shortMessageHtmlLink":"Add an ontology annotation rdfs:comment 'reasoner:&lt;reasoner&gt;' to defa…"}},{"before":"fcb2230db65a3741ee7ed1c2f882a4e5699c598f","after":"ce8b4a353d4f5a99a7d3e84084460c2694122c11","ref":"refs/heads/owlapiv4","pushedAt":"2023-11-26T05:50:48.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Sigh. After all this time find-element(s)-with-tag had bugs. Fixed them I hope","shortMessageHtmlLink":"Sigh. After all this time find-element(s)-with-tag had bugs. Fixed th…"}},{"before":"de4e2a42b007f7f8c913446519561c20c5cba046","after":"fcb2230db65a3741ee7ed1c2f882a4e5699c598f","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-15T23:42:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Implement what I said I did (but didn't complete) in previous commit","shortMessageHtmlLink":"Implement what I said I did (but didn't complete) in previous commit"}},{"before":"a27151f3513493a88118989df5cca3089233ffe8","after":"de4e2a42b007f7f8c913446519561c20c5cba046","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-14T15:25:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add c-chdir","shortMessageHtmlLink":"Add c-chdir"}},{"before":"1c1ce6281ba54701288088d63f921941ea86d9a2","after":"a27151f3513493a88118989df5cca3089233ffe8","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-12T21:29:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"When mace4 had skolems in the model I named them s# (#=1,2,3..). The problem is that some inputs already had variables named that way, so they would get confused. Found this when I had a model with s1, s2 in inputs and they were determined to be sameas, so the output model had both s1 and s1=s2, which made no sense. Now name skolems _skolem#, and complain if the input model has any symbols that start with an underscore","shortMessageHtmlLink":"When mace4 had skolems in the model I named them s# (#=1,2,3..). The …"}},{"before":"9b02a2afbaebb160adec2b3cb68c20645fee5dfd","after":"1c1ce6281ba54701288088d63f921941ea86d9a2","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-12T20:52:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Add some dbpedia abbreviations","shortMessageHtmlLink":"Add some dbpedia abbreviations"}},{"before":"12514a50d250f2fb3427510b798f05d1a4e92bc6","after":"9b02a2afbaebb160adec2b3cb68c20645fee5dfd","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-10T00:21:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"properly stringify functions that are uris","shortMessageHtmlLink":"properly stringify functions that are uris"}},{"before":"31ccb28d732f163ed3afbf20760e6378367fd4b4","after":"12514a50d250f2fb3427510b798f05d1a4e92bc6","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-07T23:11:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Mostly minor fixes or light refactorings\n\ngrapdb9 - new method delete-repository-prefixes done differently in graphdb9\nkeyword-iris, sparql - don't allow sparql reserved words as keywords\nowlapi - Add new slot source to v3kb to record what file the ontology was\n         loaded from, if loaded from a file.\nthe-mapping - Add form to add verbatim triples","shortMessageHtmlLink":"Mostly minor fixes or light refactorings"}},{"before":"8c4d757db76f67df006801adbe3dece653f961dd","after":"31ccb28d732f163ed3afbf20760e6378367fd4b4","ref":"refs/heads/owlapiv4","pushedAt":"2023-08-07T22:58:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"By default, append a label for the source ontology for terms brought into the module that aren't in the original signature","shortMessageHtmlLink":"By default, append a label for the source ontology for terms brought …"}},{"before":"d13ade3c389f7e69d6b25b1b58064eadbe5de3f9","after":"8c4d757db76f67df006801adbe3dece653f961dd","ref":"refs/heads/owlapiv4","pushedAt":"2023-07-31T23:49:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"New function write-owl-catalog passed a directory will create catalog-v001.xml","shortMessageHtmlLink":"New function write-owl-catalog passed a directory will create catalog…"}},{"before":"216ec91691281d76c7da9614807c8cad463bd254","after":"d13ade3c389f7e69d6b25b1b58064eadbe5de3f9","ref":"refs/heads/owlapiv4","pushedAt":"2023-05-09T18:45:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Allow keywords (nicknames) to be used in sparql-query, sparql-query-string. Replace arg named 'tr' with 'kwiri' as tr was leftover from where this was refactored from","shortMessageHtmlLink":"Allow keywords (nicknames) to be used in sparql-query, sparql-query-s…"}},{"before":"a687d852d3631ffca37b3164d174cbbdfd5d0a73","after":"216ec91691281d76c7da9614807c8cad463bd254","ref":"refs/heads/owlapiv4","pushedAt":"2023-04-29T22:37:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Set environment variables that will be picked up by spawned processes","shortMessageHtmlLink":"Set environment variables that will be picked up by spawned processes"}},{"before":"ca07e53bd5cd156cc2079d4cc5c6c37fcd9c70b5","after":"a687d852d3631ffca37b3164d174cbbdfd5d0a73","ref":"refs/heads/owlapiv4","pushedAt":"2023-04-16T00:35:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Added note about 10 sec vs 2 sec z3 timeout not making a difference","shortMessageHtmlLink":"Added note about 10 sec vs 2 sec z3 timeout not making a difference"}},{"before":"1a4bdf47b39119b66da4a89a5528930bbebe773c","after":"ca07e53bd5cd156cc2079d4cc5c6c37fcd9c70b5","ref":"refs/heads/owlapiv4","pushedAt":"2023-04-16T00:31:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alanruttenberg","name":"Alan Ruttenberg","path":"/alanruttenberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/241934?s=80&v=4"},"commit":{"message":"Fixed a bug in remove-quantifiers - rewrite didn't catch nested existentials","shortMessageHtmlLink":"Fixed a bug in remove-quantifiers - rewrite didn't catch nested exist…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xNVQyMTozMjozNC4wMDAwMDBazwAAAARmWnTf","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xNVQyMTozMjozNC4wMDAwMDBazwAAAARmWnTf","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xNlQwMDozMTozMS4wMDAwMDBazwAAAAMZib_5"}},"title":"Activity · alanruttenberg/lsw2"}