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 gmail.com
Wed Jan 27 21:51:22 PST 2010


I would like to use property chaining to make the following type of
inference:

"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
inconsistency.
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