[Pellet-users] K Operator

[Kendall Clark]

On Wed, 2008-02-20 at 19:43 +0100, Christoph Kiefer wrote:
> 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/

I don't believe that it is, no. We [1] have no plans to work on that
branch or on K generally.

We have made a proposal for funding for adding integrity constraints to
Pellet, which will offer a form of closed world reasoning; but we won't
know for a few months yet whether that proposal will be accepted.

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

The K-operator branch was experimental work done by some people at the
Mindlab (notably, as I recall, Yarden Katz and Bijan Parsia) while
Pellet was being developed by the Mindlab.

Since then we [1] have taken over commercial development, maintenance,
and support [2] of Pellet and the K-operator branch was one of the
experimental bits that was removed due to lack of (real or perceived)
commerical support or interest.

I can't say for certain that the proposed integrity constraint work will
handle all of the K-operator use cases and requirements, such as they
were, but these are certainly related in that both are means of handling
OWA/CWA issues in OWL DL and Pellet.

Please feel free to contact me directly (kendall at clarkparsia.com) if
you'd like to talk about this further.

Cheers,
Kendall Clark

[1] http://clarkparsia.com/
[2] http://clarkparsia.com/support