fixing issue with OWLNothing + new parameter for `OWLReasoner.instances`

dice-group / owlapy

OWLAPY is a Python Framework for creating and manipulating OWL Ontologies.

MIT License

16 stars 1 forks source link

Closed alkidbaci closed 3 weeks ago

alkidbaci commented 3 weeks ago

Fixed issue #71 once and for all :)
Added 'timeout' parameter for instances method of OWLReasoner. #69
- If the timeout limit is passed an empty set is returned.
- Default time limit set to 1000 seconds (subject of change)