% $Id: WebSemantics.html,v 1.1 2003/10/01 07:22:16 connolly Exp $

% References:
% @@RDF
% hmm... I wonder if this wheel has been invented before
% (i.e. many-worlds, or modal logic or whatever)

WebSemantics: trait
   StrictPartialOrder(<, Message)

  Statement tuple of predicate, subject, object: URIwf
% read [subj, pred, obj] as a statement whose subject is subj,
% predicate is pred, and object is obj
% e.g. [http:..., MIME:Content-Length, 200]

   [__, __, __]: URIwf, URIwf, Literal → Statement

   says: Message, Statement → Bool
% for says(m, s) read: m asserts the truth of s
% @@hmm... if says(m, s) is false, does that mean
% m asserts the falsehood of s, or something less/weaker?

   quotes: Message, URIwf, Statement → Bool

   subjectPropertyID: → URIwf
   prediatePropertyID: → URIwf
   objectPropertyID: → URIwf

        subj, pred, obj: URIwf, objLit: Literal, m: Message, i: URIwf
        subj = subj; %LARCHBUG: syntax strangeness!
      [pred, subj, objLit] = [pred, subj, [asURI(objLit), absent(nil)]];

      says(m, [subjectPropertyID, i, subj])
      ∧ says(m, [prediatePropertyID, i, pred])
      ∧ says(m, [objectPropertyID, i, obj])
      ⇒ quotes(m, i, [subj, pred, obj]);


HTML generated using lsl2html.