dice-group / owlapy

OWLAPY is a Python Framework for creating and manipulating OWL Ontologies.
MIT License
21 stars 2 forks source link

Timeout for Reasoners #69

Closed Demirrr closed 2 months ago

Demirrr commented 2 months ago

Can we introduce a timeout parameter for the reasoners? Ideally, we should ensure that the instance retrieval should not take more than the timeout

alkidbaci commented 2 months ago

So it should either return the instances before the timeout or return a error message that the timeout is exceeded? Should this parameter be relevant only for the instances method or for every method of the reasoner that retrieves something?

Demirrr commented 2 months ago

I guess It should return an empty set. For the time being, we should only focus on instance retrieval. Thank you :)