liveontologies / elk-reasoner

A Java-based OWL 2 EL reasoner
Apache License 2.0
94 stars 26 forks source link

'direct' subclasses are not included when 'all' subclasses are requested for anonymous class expressions #70

Open balhoff opened 3 months ago

balhoff commented 3 months ago

Using ELK 0.6.0, if you submit a DL query using an anonymous class expression, 'direct' subclasses (direct=true) are not included when 'all' subclasses (direct=false) are requested.

To reproduce:

I also reproduced this in code using, e.g., reasoner.getSubClasses(expression, false)

The same issue seems to apply to getSuperClasses.

ykazakov commented 3 months ago

@balhoff thanks for the report! I reproduced the problem for pizza.owl and DL query hasTopping some MeatTopping.

Screenshot 2024-06-23 at 18 03 38