[Pellet-users] Koperator

[Kendall Clark]

On Tue, 2007-11-27 at 18:47 +0800, Alejandro Sanchez wrote:
> Hi All,
> 
> I'm using Pellet and OWL-DL, among other things, for validation. Some 
> validations are simple to describe, e.g. declaring hasChild as an 
> irreflexive property, but more interesting ones like ensuring that all 
> persons included in an application form belong to a family may require 
> the ability of partially closing the world.

If we understand you correctly, you could do this using OWL oneOf. The
spec says:

> An enumeration is a owl:oneOf element, containing a list of the
> objects that are its instances. This enables us to define a class by
> exhaustively enumerating its elements. The class defined by the oneOf
> element contains exactly the enumerated elements, no more, no less.


> Since I couldn't find the Koperator in the main distribution, I was 
> wondering what is the status of it, and if there are any plans for 
> including it on the main distribution in the near future.

To answer yr immediate question, no, there aren't any plans to include
the K Operator stuff in the main Pellet distribution. The primary reason
for that is the lack of funding or commercial customers to support that
work. It's also not entirely clear whether the K Operator is the right
approach. After all, the Mindswap work was really an experiment and it's
not clear that the experiment was a success. The Pellet branch with K
support is available from the Mindswap SVN -- or it still should be,
since all of that was open source. That's a pretty old version of
Pellet, but it is available.

That said, we have preliminary plans to include support for integrity
constraints in a future version of Pellet. See [1] for more information
about this.

Obviously if yr or another organization has use cases, requirements, or
funding (!) for work in this area, we'd love to chat about it. :>

Cheers,
Kendall Clark

[1] http://code.google.com/p/owl1-1/wiki/DatabasEsque