[MOBY-l] Biomoby and Taverna 1.2

[Tom Oinn]

markw at illuminae.com wrote:
> Quoting Tom Oinn <tmo at ebi.ac.uk>:
> 
> 
>>- if the set of sequences becomes some opaque type without this
>>information then you can't do this. 
> 
> 
> Nothing becomes opaque by putting it in the MOBY data-typing system - it can
> only get richer and more meaningful by assigning it a specific class :-) 
> Generic services that operate on lower ontological classes will still be
> discovered and executed, so this use case still fails the test of need.

Okay, so I might be failing to entirely understand the moby typing 
system. In the case I describe I need to define a type such that :

1) It can be discovered as 'set of aligned sequences' as a single entity.

2) It can also be discovered as a collection of 'sequence'

As I understood it the collection / simple wasn't part of the ontology 
so this isn't possible? Effectively I believe that 'set of aligned 
sequences' cannot be made a restriction of 'collection of 'sequence'' as 
the collection concept isn't part of the ontology - is this wrong?

Tom