[tcs-lc] Relationships

[Bob Morris]

Marc's piece is way cool! (Though maybe MoReTax is to taxonomist as 
TaxonConcept is to ecologist, i.e. something you believe in principle is 
necessary but are likely to ignore because you accept the costs of doing 
so but not the costs of learning enough to use effectively. Hence the 
need for tools implementing it whose use has lower cost than ignoring 
the issue...)

I think an extremely useful component for developers would be a module 
that accepts a set of relationships and returns one of Marc's 
transmissability types. Such a module would have bindings in several 
programming languages, and would be part of a suite of validation tools 
usable with processors of tcs compliant instance documents. Each tool 
would be devoted to validating some constraint that is expressed by the 
schema designers but not validatable under XML Schema. Support for this 
kind of suite should be a goal of all schema designers. See (and comment 
on!) http://wiki.cs.umb.edu/twiki/bin/view/UBIF/WhatIsNotConstrained


Bob

Guentsch, Anton wrote:
> 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
> _______________________________________________
> tcs-lc mailing list
> tcs-lc at ecoinformatics.org
> http://www.ecoinformatics.org/mailman/listinfo/tcs-lc
> 

-- 
Robert A. Morris
Professor of Computer Science
UMASS-Boston
http://www.cs.umb.edu/~ram
phone (+1)617 287 6466