[tcs-lc] Relationships

[Guentsch, Anton]

Hi Bob,

> The RelationshipAssertion objects are statements about 
> something in the 
> literature or contributions to the dataset, not something 
> about logic, 
> right? In particular there is nothing wrong with a concept 
> pair having a 
> RelationshipAssertion of type "is congruent to" and the same 
> pair having 
> another of type "is not congruent to" or one of type "includes" and 
> another "excludes". If this is right, is there an expectation about 
> what, if any, formal logic processing can be done on 

May I draw your attention on Marc Geoffroy's work on concept relations
and their combinations:
http://www.bgbm.org/biodivinf/Projects/MoreTax/standard_liste_en.htm ?
Marc has carried out a rather thorough analysis of logic operations in
graphs of concepts and their (sometimes contradicting and also sometimes
uncertain) relations. Based on this he is presently implementing a piece
of software he calls "Transmission Engine" which is to propagate
information in concept graphs based on the relations.

Anton