Kalle Fischer | 18 Sep 13:24 2010
Picon

Problem using instance-of

Hello,
I am new to using PowerLoom and have some troubles with and exception 
that is thrown whenever I want to find all instances of one certain type 
of concept. I figured, since it is the only kind of concept for which 
this happens, that it is most probably something in my definition of 
that concept of one of the sub-concepts.

(DEFCONCEPT WIND-SWELL (?S SWELL)
:<=> (AND (HAS-CONDITION ?S ?SP) (SHORT-PERIOD ?SP) ) )

(DEFCONCEPT GROUND-SWELL (?S SWELL)
:<=> (AND (HAS-CONDITION ?S ?LP) (LONG-PERIOD ?LP)) )

(DEFCONCEPT SHORT-PERIOD (?P PERIOD)
:<=> (OR (= (HAS-PERIOD ?P) 7) (< (HAS-PERIOD ?P) 7) ) )

(DEFCONCEPT LONG-PERIOD (?P PERIOD)
:<=> (OR (> (HAS-PERIOD ?P) 13)  (= (HAS-PERIOD ?P) 13) ) )

(DEFCONCEPT PERIOD (SWELL-CONDITION)
:=> (EXISTS ?I (AND (INTEGER ?I) (HAS-PERIOD ?SELF ?I)) ) )

(DEFCONCEPT SWELL (SURF-CONDITION)
:=> (EXISTS ?P (AND (PERIOD ?P) (HAS-CONDITION ?SELF ?P)) )
:=> (EXISTS ?O (AND (ORIGIN ?O) (HAS-PROP ?SELF ?O)) )
:=> (EXISTS ?SD (AND (SWELL-DIRECTION ?SD) (HAS-CONDITION ?SELF ?SD)) )
:=> (EXISTS ?S (AND (SIZE ?S) (HAS-PROP ?SELF ?S)) )
:=> (EXISTS ?E (AND (EFFECT ?E) (HAS-EFFECT ?SELF ?E)) ) )

Those are all the concepts that are involved here and I only have one 
(Continue reading)

Hans Chalupsky | 19 Sep 19:21 2010
Picon

Re: Problem using instance-of

Hi,

this is a known bug which has been fixed in our local copy.  The problem is
that our current release update cycle has been suspended, because we are
working on a new version, so our local fixes haven't made it out onto our
web site in a while.

You might be able to work around the problem by using (swell ?s) instead of
(instance-of ?s swell).  If that doesn't do the trick, send me a full copy of
your KB so I can see what's going on.

Hans

--------------------------------------------------------------------------
Hans Chalupsky, PhD                     USC Information Sciences Institute
Project Leader, Loom KR&R Group         4676 Admiralty Way
<hans <at> isi.edu>                          Marina del Rey, CA 90292
(310) 448-8745
--------------------------------------------------------------------------

>>>>> Kalle Fischer <fischer.kalle <at> gmail.com> writes:

> Hello,
> I am new to using PowerLoom and have some troubles with and exception 
> that is thrown whenever I want to find all instances of one certain type 
> of concept. I figured, since it is the only kind of concept for which 
> this happens, that it is most probably something in my definition of 
> that concept of one of the sub-concepts.

> (DEFCONCEPT WIND-SWELL (?S SWELL)
(Continue reading)

Kalle Fischer | 20 Sep 10:51 2010
Picon

Re: Problem using instance-of

On 09/19/2010 07:21 PM, Hans Chalupsky wrote:
> Hi,
>
> this is a known bug which has been fixed in our local copy.  The problem is
> that our current release update cycle has been suspended, because we are
> working on a new version, so our local fixes haven't made it out onto our
> web site in a while.
>
> You might be able to work around the problem by using (swell ?s) instead of
> (instance-of ?s swell).  If that doesn't do the trick, send me a full copy of
> your KB so I can see what's going on.
>
> Hans
>
> --------------------------------------------------------------------------
> Hans Chalupsky, PhD                     USC Information Sciences Institute
> Project Leader, Loom KR&R Group         4676 Admiralty Way
> <hans <at> isi.edu>                           Marina del Rey, CA 90292
> (310) 448-8745
> --------------------------------------------------------------------------
>
>    
>>>>>> Kalle Fischer<fischer.kalle <at> gmail.com>  writes:
>>>>>>              
>    
>> Hello,
>> I am new to using PowerLoom and have some troubles with and exception
>> that is thrown whenever I want to find all instances of one certain type
>> of concept. I figured, since it is the only kind of concept for which
>> this happens, that it is most probably something in my definition of
(Continue reading)


Gmane