[Pellet-users] K Operator

[Christoph Kiefer]

Dear all

We would like to test some closed-world reasoning with Pellet. Can anybody give 
us some hints or code examples about how to accomplish this task?

Is the code in
http://svn.mindswap.org/pellet/branches/koperator/

still actively under development? How does this code relate to the code from here:
http://pellet.owldl.com/download?

Any help/pointers/examples is highly appreciated.

Christoph