n-ary relationships, currying, subscripts, and units of measure

[[
let the "L-meaning" of P be a function
from interpretations to True/False
]]
  -- http://lists.w3.org/Archives/Public/www-tag/2006Sep/0040.html

this is currying. See Nary in the esw wiki, CoordinateProperties.

It's like the chicago time of an event, or the weight in kilograms of a 
thing.

larch checking, implicit subscripting, "we leave that implicit where 
it's clear".

owl-time, semweb deployment WG

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Saturday, 7 October 2006 23:16:33 UTC