Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] SWRl rules produces stack overflow...

Martin O'Connor martin.oconnor at stanford.edu
Fri Aug 24 22:59:05 PDT 2007


Generally, only circular rules will generate a stack overflow (e.g.,  
[1]). Are you sure there are not other rules in your ontology that may  
be causing this problem?

Martin


[1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nid9L7

Quoting Gerhard Austaller <gerhard at tk.informatik.tu-darmstadt.de>:

> Hi
>
> Can anybody help me understand why rules of this kind produce a stack
> overflow?
>
> Concepts: A,B,C
> Objectproperties: hasB
> Dataproperty: hasValue
>
> Rule is like:
>
> A(?a) ^ B(?b) ^ hasB(?a,?b) ^ hasValue(?b,?c) ^
> swrl:greaterThan(?c,100) --> C(?a)
>
> Is this rule ok, or do I missuse SWRL in a way thta i shouldn't be
> done? If it's a limitation of SWRL implementation I can live with it...
> I use Protege 3.3.1 and Jess 70p1.
>
>
> Thanks
> Gerhard
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing:   
> http://protege.stanford.edu/doc/faq.html#01a.03
>





More information about the protege-owl mailing list