Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] inferring negative assertions on individuals?

Tara Athan taraathan at
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?

Thanks, Tara

More information about the protege-owl mailing list