% $Id: WebSemantics.lsl,v 1.7 2000/07/27 22:04:53 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]
[source]
HTML generated using lsl2html.