W3C home > Mailing lists > Public > public-rif-wg@w3.org > April 2009

Re: builtins operating on rif:iri

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 24 Apr 2009 15:09:19 -0400
To: Jos de Bruijn <debruijn@inf.unibz.it>
cc: kifer@cs.sunysb.edu, public-rif-wg@w3.org
Message-ID: <22193.1240600159@ubehebe>

> The only currently defined "built-in" that accepts rif:iris is
> pred:iri-string...

Well, it's the only one that works with iris as iris.  All of them
syntactically accept rif:iris, and will work with the literal they are
equated to, if at some point they are equated to a literal.
Until/unless that equation happens, the reasoner can't do anything with

There was this test that Michael confirmed [1]:

         ex:foo = 1
         external(numeric-equal(ex:foo, 1))

And here's another:

     <http://example.com/foo> = 1
     p :- iri-string(?x, 'http://example.com/foo') and
          numeric-equal(?x, 1)


But.....  yeah, I guess they don't mess up safety.  (I was confusing
myself by thinking about them as unbound variables, but they're
(roughly) existentialy quantified variables, and it's the universally
quantified ones that are a safety issue.)

      -- Sandro

[1] http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0121.html
Received on Friday, 24 April 2009 19:09:28 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:55 UTC