Hi,
Please consider the following code,
from owlready2 import sync_reasoner, get_ontology, owl
onto = get_ontology('father.owl').load()
sync_reasoner()
print(list(owl.Thing.instances()))
with this ontology:
https://github.com/SmartDataAnalytics/DL-Learner/blob/develop/examples/family/father.owlI would expect the instances to be anna, michelle, heinz, markus, martin, and stefan.
However, the list ends up empty.
maybe a missing equivalence class consideration?
What do you think?
Best,