here: https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.5679&rep=rep1&type=pdf is a paper which mentioned future work with SWI Prolog will be related to SWRL beside other things. What is the state about this? I know there is extra distributed Thea package, but I can not use it (at code level) because of the GPL. So I’m seeking for a lightweight SWI package which covers OWL DL (or OWL light) and SWRL.
The context is to read in parts of a OWL provided by other teams in the project and do some queries on it.