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

HermiT is default reasoner. #671

Merged
merged 7 commits into from
Nov 4, 2023
Merged

HermiT is default reasoner. #671

merged 7 commits into from
Nov 4, 2023

Commits on Nov 3, 2023

  1. HermiT is deafault reasoner. 

    Ontoconvert used to accept only FaCT++ because
owlready2.reasoning._apply_reasoning_results() was broken.
It added the inferred
rdfs:subClassOf relations as rdf:type relations.
    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    83a1f23 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into allow_hermit_ontoconvert

    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    9d59faf View commit details
    Browse the repository at this point in the history

  3. Moved tests for reasoner into separate file. 

    Created dummy tests for all three reasoners.
Need to fill in with what we want to test for.
    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    461e5d7 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'allow_hermit_ontoconvert' of github.com:emmo-repo/EMMOn… 

    …toPy into allow_hermit_ontoconvert
    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    34a245a View commit details
    Browse the repository at this point in the history

  5. Added new ontology to test reasoning

    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    51a1d83 View commit details
    Browse the repository at this point in the history

  6. typo

    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    6c60eba View commit details
    Browse the repository at this point in the history

  7. Updated sync_reasoner to check for no relation after reasoning

    @francescalb
    francescalb committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    bb6900a View commit details
    Browse the repository at this point in the history