Re: Query of individuals that "May" belong to a class

The ones that "may" be in a class are the ones that are not  
conclusively in the complement of the class. You can formulate this  
as queries (involving the complement) against a reasoned over KB in,  
say, pellet.

-Alan

On Jun 11, 2008, at 5:13 AM, Cristiano Longo wrote:

>
> Hi, i wonder to retrieve in my knowledge base all the individuals  
> that "May" belong to a class. For instance, given a property prop P  
> and another class C, all the individuals that do not have an  
> instance of C as P role filler.  Say this class D because of the  
> open world assumpition, I think that we are not able to retrieve  
> all the individuals in the KB that "colud" belong to D. Some ideas?  
> Epistemic Operators could help?
>
> I'm using Jena + Pellet.
>
> thanks in advance,
> Cristiano Longo
>
>