[Versa] Versa issue: subgraph primitives?

[Chimezie Ogbuji]

> I think they both return a list of subjects that match.  The difference
> being that the second would result with in an error or an empty result
> if used as a scope.  You would need to rewrite the second to be
> (assuming a result type optional argument to the filter function)

Okay.  and since the 'statements' function is the only way to
construct statement objects so far, every context expression will have
to be in the form:

{ statements( ... ) }

Unless you allow the filter function to return a statement in the way
your query demonstrates, but I think this is covered with the
statements function:

{ statements(type(rss:item)|-dc:creator-> <mailto:foo at yahoo.com>) }

> The query I would use would be
> 
> subgraph o1 = statements ( all() - rdfs:isDefiniedBy -> <Ontology
> 1>,rdf:value,*);
> subgraph o2 = statements ( all() - rdfs:isDefiniedBy -> <Ontology
> 2>,rdf:value,*);
> list( {o1}  all() |- * -> {o2}ground(.),
>              {o2} all() |- * -> {o1}ground(.) )
 
or wouldn't those queries be statements ( all() |- rdfs:isDefiniedBy
-> <Ontology1>,rdf:value,*)

if the statements function works the way I suggested?

Chimezie