Search Mailing List Archives
[protege-owl] inferring negative assertions on individuals?
taraathan at gmail.com
Wed Jan 27 21:51:22 PST 2010
I would like to use property chaining to make the following type of
"is connected to" is a transitive property
A, B, C are individuals
A is connected to B
A is not connected to C
therefore B is not connected to C.
I can implement this where adding "B is connected to C" leads to an
But "B is not connected to C" (in the appropriate syntax, of course)
does not appear in the list of inferences.
Is this caused by some theoretical properties of reasoners (which I
don't know that much about), or is possible but just not implemented yet?
More information about the protege-owl