Hi,
I'm new too, so please mind the cracks on the road inexpertly paved
with good intentions:
2010/12/6 Bruno Freudensprung <bruno.freudensprung(a)temis.com>:
The first "solution" I imagined was to have high-salience
rules:
rule "1"
when
t : T
not I(type == t)
then
retract t
rule "2"
when
i : I(t : type)
not Type (this == t)
then
retract i
That looks like a drools retelling of the chicken and egg problem to
me: how do you intend to insert new Instances or Types ?
From the logical point of view, why do you need to retract
unreferenced facts? Do you see performance issues from too many facts?
Gabor Szokoli