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] rdf:list in a SWRL rule

Martin O'Connor martin.oconnor at stanford.edu
Fri Aug 10 10:11:27 PDT 2007


Also the list built-ins are not currently implemented. cf.  
http://protege.cim3.net/cgi-bin/wiki.pl?CoreSWRLBuiltIns

Martin

Quoting Thomas Russ <tar at ISI.EDU>:

>
> On Aug 10, 2007, at 3:10 AM, Giacomo Bartoloni wrote:
>
>> Hi everybody, I'm writing you all because I don't if is correct to
>> write
>>
>> rdf:List(?list) ^
>> swrlb:first(?first, ?list) ^
>> swrlb:rest(?list,?list) ^
>               ^^^^^^
>
> You will need a different variable name here.  Otherwise you won't
> get a match, because this clause says that the REST of ?list is the
> same as ?list.  Introduce a new variable for the rest and then use it
> below to get the second element.
>
>> swrlb:first(?second, ?list) ^
>> .....
>> ->
>> predicate(?list, true)
>>
>> Thanks a lot
>>
>> Giacomo
>>
>> --
>>
>> Giacomo Bartoloni
>> NetXcalibur s.r.l.
>> Via Alamanni 25
>> 50123 Florence, Italy
>> Tel. + 39 055 285859
>> Fax + 39 055 285760
>> _______________________________________________
>> 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
>
> _______________________________________________
> 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