SWRL builtinAtom/List inconsistency

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

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

• Next message: Benjamin Grosof: "Re: SWRL sameAs/differentFrom inconsistency"
• Previous message: Mike Dean: "SWRL sameAs/differentFrom 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