Open andreas-steigmiller opened 6 years ago
Hi Andreas. Thanks for reporting this. I will try to reproduce this locally and then get back to you as soon as time permits.
@1030617255 It should would fine, but please be aware that you will need to use the OWL API version 4.5.0 or higher in the 4.x series with Sequoia.
I did a few smaller tests with the latest available version (7e4466673ded1c689e4ceeb28652cb1a9cccf78f) of Sequoia (to be more precise, by using the OWL API 4.5.x and the fat-jar obtained by compiling/assembling the reasoner-owl-api sub-project with sbt) and it seems that Sequoia is not always outputting all subsumptions/classes. For example, with the following code
and the attached study_protocol-A.owl.xml ontology, I get the following output for Sequoia:
In contrast, if I use HermiT instead of Sequoia, then I get the following output:
The missing classes are also not returned if I request all indirect subclasses of owl:Thing. For most ontologies, I get the same results as with other reasoners, but for a few ontologies such trivial subclasses of owl:Thing seem to be missing.