[Mulgara-general] Question about KRULE

[Rune Stilling]

Hi - One question about KRULE.

Let's say I have the following ontology:

rdf:type(Tag, Class).
rdf:type(tagInstance1, Tag).
rdf:type(tagInstance2, Tag).

I then create some rules using KRULE:

rdf:type(derivedTagInstance, Tag) :- rdf:type(X, Tag).
rdfs:label(derivedTagInstance, L) :- rdf:type(X, Tag), rdfs:label(X, L).

What I would like the system to do is to create two new instances of  
the Tag class with labels copied from tagInstance1 and tagInstance2  
(one label on one instance). Currently I get only one instance but  
two labels on derivedTagInstance.

1) Is there any way to let the Krule generate new ressource ID's?

2) Is there any way to connect rule one and rule two so that the  
system is able to create two distinct instances with two distinct  
labels?

I know I'm probably pushing it, but maybe there is some way to do this?

Regards
Rune