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