Re: SWRL builtinAtom/List inconsistency

• Previous message: Benjamin Grosof: "Re: SWRL sameAs/differentFrom inconsistency"
• In reply to: Mike Dean: "SWRL builtinAtom/List inconsistency"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi all,

At 05:42 AM 11/15/2004 -0500, Mike Dean wrote:
>While implementing the SWRL builtins for Jena 2, we discovered an
>inconsistency in SWRL [1].
>
>The builtIn atom is defined as
>
>   builtIn '(' builtinId { d-object } ')'
>
>but the List builtins [2] require the use of i-vars (rather than d-vars) to
>access rdf:List instances.
>
>I don't have a ready fix in mind.

A couple of thoughts:

1. what was the design rationale for why the List builtins currently 
require use of i- ?

2. perhaps we should define another kind of list that has d- members or 
that mixes i- with d- members?

Benjamin


>         Mike
>
>[1] http://www.daml.org/rules/proposal/
>
>[2] http://www.daml.org/rules/proposal/builtins.html#8.7

________________________________________________________________________________________________
Prof. Benjamin Grosof
Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, 
XML, Agents, Semantic Web Services
MIT Sloan School of Management, Information Technology group
http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof

• Next message: Mike Dean: "Joint Committee telecon tomorrow 16 November"
• Previous message: Benjamin Grosof: "Re: SWRL sameAs/differentFrom inconsistency"
• In reply to: Mike Dean: "SWRL builtinAtom/List inconsistency"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 11/15/04 EST