Re: PowerLoom manual and metaclasses

On Jun 23, 2008, at 3:34 PM, Goyal, Siddharth(IE10) wrote:

> The manual seems to be incomplete. All sections 3.14 onwards are  
> missing. Can I get a complete manual?

Those sections of the manual has not been completed yet.  That section  
of the manual is meant to be the examples, so the direct documentation  
for items in the incomplete sections is available in the specific  
documentation in sections 6, 7 and 8.

If there are particular items that concern you, we can answer those  
questions using the this forum.

> And does powerloom support metaclasses (metaconcepts). If yes how  
> can they be implemented?

Yes.  They are implemented in the same way as other concepts, except  
that they specialize CONCEPT or RELATION, etc.  You can attach them to  
other concepts either through the standard assertion mechanism:

   (assert (my-metaconcept my-concept))

or by including the appropriate assertions using the :axioms keyword  
to defconcept or defrelation, etc:

   (defconcept my-concept ((?x my-superconcept))
      :axioms (my-metaconcept my-concept))

For an example of how they work, you could look at some of the  
metaconcepts that are in the PL-KERNEL-KB, for example TRANSITIVE,  
SYMMETRIC, REFLEXITVE.  You can easily do this by

   (describe transitive)

when running PowerLoom.