SWRL builtinAtom/List inconsistency

From: Mike Dean ([email protected])
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.
    
    	Mike
    
    [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