SWRL builtinAtom/List inconsistency

From: Mike Dean (mdean@bbn.com)
Date: 11/15/04

  • Next message: Benjamin Grosof: "Re: SWRL sameAs/differentFrom inconsistency"
    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.
    [1] http://www.daml.org/rules/proposal/
    [2] http://www.daml.org/rules/proposal/builtins.html#8.7

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