algernon rule parsing bug?

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

algernon rule parsing bug?

David Mireles

Hi,
I think I've come across a replicable bug with algernon (Algernon 6.0.0,
23 Jan 2005) in the rule parsing.  It appears in conjunction with a
:no-continuation clause and the use of an inherited property.

Take the following class structure (testsub is a subclass of test):
"test"
     "testsub"
"test" has the slot "testslot"
"testsub" has the slot "testsubslot"

When try to assert the following rule (using tell):
-------------------
((:ADD-RULE "test"
        (("testslot" ?t ?val)
         (:NO-CONTINUATION (:instance "testsub" ?tsub))
         ->
         (:clear-relation ?tsub "testslot" "testsubslot")
         ("testslot" ?tsub "hello")
         ("testsubslot" ?tsub ?val)
         )))
--------------------

I get the following errors:
---------------------
Unable to find the relation testsubslot for ?tsub
Algernon errors:
** Algernon compiler ERROR: Undefined relation: '"testsubslot"' in
("testsubslot" ?tsub ?val)



Unable to find the relation testsubslot for ?tsub
Algernon errors:
** Algernon compiler ERROR: Undefined relation: '"testsubslot"' in
("testsubslot" ?tsub ?val)
---------------------

This error only occurs only if I have  :NO-CONTINUATION in the
antecedent and I try to change the inherited slot ("testslot") before I
change the subslot ("testsubslot").

Is this a bug or the expected behavior?

Thanks,
David
-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html

Reply | Threaded
Open this post in threaded view
|

Slightly off-topic: algernon releases [Re: algernon rule parsing bug?]

Nacho Mayorga

Hi,

I didn't know of any Algernon release numbered higher than 5.0.1 nor of
any release later than Jan 3rd 2005. Am I right?

I'm also curious about the behaviour described by David. BTW, is there
any further documentation on rule continuations? (the
/doc/commands/rulecontinuations.hmlt page reads "To Do")

Cheers,

                 Nacho

--
José Ignacio MAYORGA TOLEDANO (Profesor Asociado)   [Programación II]
Lenguajes y Sistemas Informáticos, Edif. Interfacultativo, desp. 2.13
                           UNED, c/Juan del Rosal, 16, 28040 - Madrid
 e-mail:[hidden email] / tlf: [+34.91.398].64.83 / fax: []65.35



-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html