Build #3 (Aug 26, 2019, 10:03:46 AM)

1. Examples provider stub (commit: 8292371) (details / githubweb)
2. Cont. beam search skeleton (commit: e0bfa0f) (details / githubweb)
3. Ctd. beam search (commit: 74ad844) (details / githubweb)
4. typos (commit: 0860b00) (details / githubweb)
5. track of (possibly) neg. examples that are not covered. (commit: 6ba57f6) (details / githubweb)
6. util method (commit: 8ea5b6c) (details / githubweb)
7. dedup operands (commit: c618926) (details / githubweb)
8. handle ClassExpressionLearningProblem in init() (commit: 723bbdd) (details / githubweb)
9. update xstream (commit: 97a16dc) (details / githubweb)
10. Fix minCardinality in Closed World Reasoner, by Yingbing Hua (commit: 5f32582) (details / githubweb)
11. update Hermit (commit: 7a95585) (details / githubweb)
12. use superProperty Data Type for Datatype Properties, if available (commit: 8cefedd) (details / githubweb)
13. ctd beam search (commit: 4dcaac0) (details / githubweb)
14. some fixes in SWORE (commit: 5c26c0d) (details / githubweb)
15. extended OWL CE minimizer (commit: 96e94fd) (details / githubweb)
16. ext. beam search (commit: b5b9cec) (details / githubweb)
17. UCI Poker DS converter (commit: 067e309) (details / githubweb)
18. make heuristic accessible in writeSearchTree (commit: e7c9579) (details / githubweb)
19. make horizontal expansion more logical (commit: c15cc4c) (details / githubweb)
20. Sanity checks for input example(s) (commit: 0fd927a) (details / githubweb)
21. minor (commit: 2d8e568) (details / githubweb)
22. misc (commit: 3ec797a) (details / githubweb)
23. more examples providers (commit: 356cd4a) (details / githubweb)
24. misc (commit: 59d40c3) (details / githubweb)
25. misc (commit: dfa6981) (details / githubweb)
26. Fixes #45 (commit: f72ea8a) (details / githubweb)
27. Fixes #68 (commit: 1e90f0b) (details / githubweb)
28. more sanity checks (commit: b39182e) (details / githubweb)
29. minor style fixes (commit: 02d9b02) (details / githubweb)
30. test examples (commit: 101ba2e) (details / githubweb)
31. display progress in materialization (commit: cc2e897) (details / githubweb)
32. switch to commons-rng (commit: ee1afd7) (details / githubweb)
33. progress monitoring (commit: 4aa3067) (details / githubweb)
34. reset length in CE length calc (commit: b837601) (details / githubweb)
35. fixed nominals precomputation (commit: 1b665f3) (details / githubweb)
36. beam search cntd. (commit: 3a3a809) (details / githubweb)
37. poker ds (commit: 196ce85) (details / githubweb)
38. minor (commit: 3c86979) (details / githubweb)
39. extended poker ds converter (commit: 09fd4f5) (details / githubweb)
40. testing (commit: 6280884) (details / githubweb)
41. util (commit: 4831db9) (details / githubweb)
42. fixed minor bug (commit: f193599) (details / githubweb)
43. misc (commit: 12f5e30) (details / githubweb)
44. poker ds converter extended (commit: abec5d8) (details / githubweb)
45. some debug stuff (commit: 5db9b54) (details / githubweb)
46. Pellet upgrade (commit: 0c62d38) (details / githubweb)
47. Cleanup of owl:hasValue precomputation (commit: 2b190a6) (details / githubweb)
48. some graph utils (commit: 833385b) (details / githubweb)
49. more graph stuff for OWL ontologies (commit: b19ff98) (details / githubweb)

Push event to branch generic-framework at 10:03:30 AM on Aug 26, 2019

• origin/generic-framework