Re: SWRL builtinAtom/List inconsistency

From: Benjamin Grosof (
Date: 11/15/04

  • Next message: Mike Dean: "Joint Committee telecon tomorrow 16 November"
    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?
    >         Mike
    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 or

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