% $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
includes
URI,
WebState,
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]
introduces
[__, __, __]: 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
asserts
∀
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]);
[Index]
HTML generated using lsl2html.