HermiT is default reasoner.

[francescalb]

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.

Description

Type of change

• Bug fix.
• New feature.
• Documentation update.
• Test update.

Checklist

This checklist can be used as a help for the reviewer.

• Is the code easy to read and understand?
• Are comments for humans to read, not computers to disregard?
• Does a new feature has an accompanying new test (in the CI or unit testing schemes)?
• Has the documentation been updated as necessary?
• Does this close the issue?
• Is the change limited to the issue?
• Are errors handled for all outcomes?
• Does the new feature provide new restrictions on dependencies, and if so is this documented?

Comments

[codecov]

Codecov Report

Merging #671 (bb6900a) into master (acc7b5d) will increase coverage by 0.23%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #671      +/-   ##
==========================================
+ Coverage   69.85%   70.09%   +0.23%     
==========================================
  Files          16       16              
  Lines        3367     3367              
==========================================
+ Hits         2352     2360       +8     
+ Misses       1015     1007       -8     

Files	Coverage Δ
ontopy/ontology.py	78.60% <ø> (+0.67%)	⬆️

... and 2 files with indirect coverage changes

[jesper-friis]

Possible improvement of this test:

Does testonto contain enough semantics for the reasoners to work with, such that they can add additional relations?
If not, one could consider to add an object property to testonto with a domain and range to give the reasoner something to work with.
If/when the reasoners add something, that should be tested for.

[francescalb]

Done