Re: defclass and defconcept

On Aug 22, 2007, at 7:27 PM, Cameron Ross wrote:

> Thanks Thomas,
>
> I was a little confused by the fact that some classes are subsets  
> of others.
> For example, the following query indicates that some stella classes  
> appear
> to be related via powerloom's subset-of relation:
>
> PL-KERNEL-KB |= (retrieve all (subset-of ?x number))
>
> There are 3 solutions:
>   #1: ?X=NUMBER
>   #2: ?X=INTEGER
>   #3: ?X=FLOAT

Yes, this is correct.
Generally the only place you will encounter Stella classes in  
PowerLoom is in our support for literals and similar sorts of  
objects.  Since there is a hierarchy of those types, this is  
reflected in the PowerLoom ontology.  The concept structure for  
number is the following:

   NUMBER
     INTEGER
     FLOAT

Note that integer is the actual datatype integer and that 1 and 1.0  
are therefore considered different, since they are different datatypes.

> Also, the following query suggests that the interval-integer class is
> related to powerloom's thing and scalar-interval concepts via the  
> subset-of
> relation:
>
> PL-KERNEL-KB |= (retrieve all (subset-of integer-interval ?x))
>
> There are 4 solutions:
>   #1: ?X=INTEGER-INTERVAL
>   #2: ?X=THING
>   #3: ?X=SCALAR-INTERVAL
>   #4: ?X=SCALAR
>
> I suppose there is a measure of inter-mingling of stella classes and
> powerloom concepts, relations etc.

Also correct.
This will generally only be true for built-in PowerLoom items.
User-created concepts and relations will be entirely PowerLoom concepts.