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

I'm not sure what your question is.
But I think that you  could use the mKR language
to get your answer.

You can retrieve all individuals from the KB using 
    every x isu Individual; {
        ... $x ...

Then you can test $x using a conditional expression.
For example, if you want to test property P
    if $x has P;
    then ...
    else ...

Or, if you want to test class C
    if $x isu C;
    then ...
    else ...

Is the test on P, or the test on C, what you had in mind?

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;

----- Original Message ----- 
From: "Cristiano Longo" <>
To: <>
Sent: Wednesday, June 11, 2008 2:13 AM
Subject: Query of individuals that "May" belong to a class

> 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

Received on Wednesday, 11 June 2008 12:41:19 UTC