getSuperClasses bug?

[kodymoodley]

Ontology O:

1. Sponsored EquivalentTo not (SelfSponsoredStudent)
2. LibraryForbidden EquivalentTo not (access some UniversityLibrary)
3. EmployedStudent SubClassOf Student
4. Thing SubClassOf ((SelfSponsoredStudent or (not (EmployedStudent))) and ((not (EmployedStudent)) or (receives some TaxInvoice))) and (((not (SelfSponsoredStudent)) or (not (EmployedStudent and (worksFor some University)))) and ((not (EmployedStudent and (hasChild some Thing))) or (not (receives some TaxInvoice)))) and (((not (Student)) or (access some UniversityLibrary)))
5. LibraryAccessor EquivalentTo access some UniversityLibrary
6. NonTaxPayer EquivalentTo not (receives some TaxInvoice)
7. TaxPayer EquivalentTo receives some TaxInvoice

Ontology O clearly entails: EmployedStudent SubClassOf LibraryAccessor and HermiT does provide this entailment when queried through the OWLReasoner's isEntailed method. However, when asking for the super classes of EmployedStudent (using the getSuperClasses method of the OWLReasoner interface), I just get: Student, SelfSponsoredStudent and TaxPayer. I should be getting LibraryAccessor as well, right?

I am using HermiT 1.3.8 accessed through OWL API (version 3.4.2). I am using these in Eclipse Neon, JVM 1.7 and I am on Windows 10 (64 bit).

[ignazio1977]

Hi, if you can attach the ontology (so that I can avoid retyping it) I'm happy to check whether this still happens with the latest HermiT and OWLAPI. I seem to remember a bug that was fixed in this area.

[kodymoodley]

Hi, I zipped the ontology and tried to attach it to this message but it says that the file type (ZIP) is not supported... Here is a dropbox link to the OWL file: https://www.dropbox.com/s/6u0p2hrqswpunqy/testHermitError.owl?dl=0

[ignazio1977]

Just checked, works as expected with HermiT 1.4.1.456