Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mousetom sk/v3 #109

Open
wants to merge 74 commits into
base: develop
Choose a base branch
from
Open

Mousetom sk/v3 #109

wants to merge 74 commits into from

Commits on Feb 27, 2023

  1. Fixing and extending OCEL, CELOE, Rho, Multiheuristic, and CWR

    @mousetom-sk
    mousetom-sk committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    07e1349 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. parcel integration, useNegation support

    @mousetom-sk
    mousetom-sk committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    3ec54fd View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2023

  1. parcel operator integration, useNegation support enhanced, test evalu… 

    …ation
    @mousetom-sk
    mousetom-sk committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    fc7f4a8 View commit details
    Browse the repository at this point in the history

  2. reasoner cloning

    @mousetom-sk
    mousetom-sk committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    b99b4c4 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. parcel heuristic accuracy reward back to default, reasoner cloning co… 

    …nfig option
    @mousetom-sk
    mousetom-sk committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    3cc9e7e View commit details
    Browse the repository at this point in the history

  2. rho upward refinement takes into account (almost all) config options

    @mousetom-sk
    mousetom-sk committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    4afb94f View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. rho useDisjunction when refining upwards and accuracy speedup

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    b24a487 View commit details
    Browse the repository at this point in the history

  2. accuracy speedup reverted

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    6c9e996 View commit details
    Browse the repository at this point in the history

  3. rho useDisjunction when refining upwards and accuracy speedup

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    bd4fd60 View commit details
    Browse the repository at this point in the history

  4. minor refactoring, search tree initialization

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    a23688d View commit details
    Browse the repository at this point in the history

  5. rho top refinements correction, CWR min cardinality hasType corrected… 

    … for inverse properties
    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    24af23d View commit details
    Browse the repository at this point in the history

  6. rho top refinements correction, CWR min cardinality hasType corrected… 

    … for inverse properties
    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    f964671 View commit details
    Browse the repository at this point in the history

  7. celoe evaluated descriptions not computed from scratch

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    c952cdd View commit details
    Browse the repository at this point in the history

  8. rho memento, upward refining enhanced, isSomeOnlySatisfied improved

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    b9ddecd View commit details
    Browse the repository at this point in the history

  9. rho memento, upward refining enhanced, isSomeOnlySatisfied improved

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    23832cf View commit details
    Browse the repository at this point in the history

  10. isSomeOnlySatisfied corrected, maxCardinalityLimit option added

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    91fb6b8 View commit details
    Browse the repository at this point in the history

  11. isSomeOnlySatisfied corrected, maxCardinalityLimit option added

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    9b68c2c View commit details
    Browse the repository at this point in the history

  12. concurrent cwr added

    @mousetom-sk
    mousetom-sk committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    9a80253 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2023

  1. reversing the order of elements in search tree

    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    c2affc8 View commit details
    Browse the repository at this point in the history

  2. partial-definition-found message reformatted

    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    a04d5fd View commit details
    Browse the repository at this point in the history

  3. partial-definition-found message reformatted

    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    fc81d15 View commit details
    Browse the repository at this point in the history

  4. partial-definition-found message reformatted

    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    9d0e428 View commit details
    Browse the repository at this point in the history

  5. maxCardinalityLimit in upward refinements, splits for numeric datatyp… 

    …e properties corrected
    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    4614622 View commit details
    Browse the repository at this point in the history

  6. maxCardinalityLimit in upward refinements, splits for numeric datatyp… 

    …e properties corrected
    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    4cde5fe View commit details
    Browse the repository at this point in the history

  7. maxCardinalityLimit in upward refinements, splits for numeric datatyp… 

    …e properties corrected
    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    993abac View commit details
    Browse the repository at this point in the history

  8. maxCardinalityLimit in upward refinements, splits for numeric datatyp… 

    …e properties corrected
    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    362571d View commit details
    Browse the repository at this point in the history

  9. negations must not be disjoint with the current domain

    @mousetom-sk
    mousetom-sk committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    960384a View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2023

  1. shallow copying set of knowledge sources

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    1b51716 View commit details
    Browse the repository at this point in the history

  2. useAllConstructor, useExistsConstructor, applyAllFilter, applyExistsF… 

    …ilter ignored when refining upwards
    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    1646ade View commit details
    Browse the repository at this point in the history

  3. useAllConstructor, useExistsConstructor, applyAllFilter, applyExistsF… 

    …ilter ignored when refining upwards
    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    e0dada1 View commit details
    Browse the repository at this point in the history

  4. useAllConstructor, useExistsConstructor, applyAllFilter, applyExistsF… 

    …ilter ignored when refining upwards
    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    8206d9a View commit details
    Browse the repository at this point in the history

  5. useAllConstructor, useExistsConstructor, applyAllFilter, applyExistsF… 

    …ilter ignored when refining upwards
    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    b76ad47 View commit details
    Browse the repository at this point in the history

  6. useAllConstructor, useExistsConstructor, applyAllFilter, applyExistsF… 

    …ilter ignored when refining upwards
    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    bbd9144 View commit details
    Browse the repository at this point in the history

  7. useDisjunction checked on conjunction creation

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    23e517f View commit details
    Browse the repository at this point in the history

  8. useDisjunction checked on conjunction creation

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    3e2f118 View commit details
    Browse the repository at this point in the history

  9. useDisjunction checked on conjunction creation

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    b5cb17c View commit details
    Browse the repository at this point in the history

  10. useDisjunction checked on conjunction creation

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    4bfffdf View commit details
    Browse the repository at this point in the history

  11. useDisjunction checked on conjunction creation

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    e642ba2 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'concurrent-cwr' into develop

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    dacb774 View commit details
    Browse the repository at this point in the history

  13. removing commented-out code in workers

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    3e0a784 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'concurrent-cwr' into accuracy-speedup

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    15f33ef View commit details
    Browse the repository at this point in the history

  15. Merge branch 'rho-speedup' into develop

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    c4edb8c View commit details
    Browse the repository at this point in the history

  16. Merge branch 'parallel-alg-speedup' into develop

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    999cf7b View commit details
    Browse the repository at this point in the history

  17. Merge branch 'rho-speedup' into accuracy-speedup

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    a2494a1 View commit details
    Browse the repository at this point in the history

  18. Merge branch 'parallel-alg-speedup' into accuracy-speedup

    @mousetom-sk
    mousetom-sk committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    8d85c21 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. Merge branch 'accuracy-speedup' into v2

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    631581c View commit details
    Browse the repository at this point in the history

  2. s/parcel always asking for refinements of horizExp length

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    e80aa0d View commit details
    Browse the repository at this point in the history

  3. accuracy/coverage calculation improved in s/parcel

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    ea56edc View commit details
    Browse the repository at this point in the history

  4. s/parcel - first return nodes, then partial definitions

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    76ada64 View commit details
    Browse the repository at this point in the history

  5. ocel/celoe coverage info added

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    c723fcc View commit details
    Browse the repository at this point in the history

  6. removing todos

    @mousetom-sk
    mousetom-sk committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    f64f1db View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2023

  1. printing total execution time

    @mousetom-sk
    mousetom-sk committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    f63804e View commit details
    Browse the repository at this point in the history

  2. isSomeOnlySatisfied corrected, improved, and used instead of isCombin… 

    …able
    @mousetom-sk
    mousetom-sk committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    6408838 View commit details
    Browse the repository at this point in the history

  3. printing timestamps

    @mousetom-sk
    mousetom-sk committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    1ee2f44 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. isSomeOnlySatisfied refactoring

    @mousetom-sk
    mousetom-sk committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    d4de70f View commit details
    Browse the repository at this point in the history

  2. useRestrictedDisjunction option added

    @mousetom-sk
    mousetom-sk committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    862298c View commit details
    Browse the repository at this point in the history

  3. custom numericValuesSplitter supported

    @mousetom-sk
    mousetom-sk committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    6dcf0c7 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2023

  1. isSomeOnlySatisfied considers min restrictions

    @mousetom-sk
    mousetom-sk committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    ad0bef2 View commit details
    Browse the repository at this point in the history

  2. CELOE accuracy speedup reverted

    @mousetom-sk
    mousetom-sk committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    654809d View commit details
    Browse the repository at this point in the history

  3. OSBean for measuring CPU time declared as a class property

    @mousetom-sk
    mousetom-sk committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    0a9e377 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2023

  1. accuracy synchronization, parcel discarding unpromising concepts, and… 

    … compacted coverage representation
    @mousetom-sk
    mousetom-sk committed Mar 11, 2023
    Configuration menu
    Copy the full SHA
    e85e0bf View commit details
    Browse the repository at this point in the history

  2. parcelex accuracy calculation without additional checks

    @mousetom-sk
    mousetom-sk committed Mar 11, 2023
    Configuration menu
    Copy the full SHA
    ce8f500 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2023

  1. test accuracy computation moved to PosNegLPStandard

    @mousetom-sk
    mousetom-sk committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    a20ce89 View commit details
    Browse the repository at this point in the history

  2. cwr corrections

    @mousetom-sk
    mousetom-sk committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    dd28ff0 View commit details
    Browse the repository at this point in the history

  3. rho maxCardinalityLimit copied

    @mousetom-sk
    mousetom-sk committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    30840e0 View commit details
    Browse the repository at this point in the history

  4. compact coverage representation even leaner

    @mousetom-sk
    mousetom-sk committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    99dedd2 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2023

  1. isSomeOnlySatisfied checked after refining

    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    ebcdd96 View commit details
    Browse the repository at this point in the history

  2. allFilter improved

    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    59d0260 View commit details
    Browse the repository at this point in the history

  3. compact coverage leaner again

    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    d605676 View commit details
    Browse the repository at this point in the history

  4. parcel accepting only the partial definitions which contibute to the … 

    …coverage of positives more than to the coverage of negatives
    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    3d7678c View commit details
    Browse the repository at this point in the history

  5. OENode getting size of covered positives/negatives improved, ParcelEx… 

    …V2 prepared and modified, covered negatives comparator corrected
    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    74d4681 View commit details
    Browse the repository at this point in the history

  6. ParcelExV2 partial definition resulting from combination has correct … 

    …data
    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    dbb15e7 View commit details
    Browse the repository at this point in the history

  7. minor fix in corrected data

    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    ea57b03 View commit details
    Browse the repository at this point in the history

  8. removing code commented out

    @mousetom-sk
    mousetom-sk committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    d08592e View commit details
    Browse the repository at this point in the history