% $Id: RDFAbSyn.lsl,v 1.5 2001/03/30 18:42:44 connolly Exp $


Pat Hayes suggested, after I explained the RDF Model and Syntax to him, that what is called a model in the RDF specs is called an abstract syntax, a term coined by McCarthy; see, for example section Abstract Syntax of Programming Languages in Towards a Mathematical Science of Computation (Tue, 14 May 1996 21:10:20 GMT).


  1. Resource Description Framework (RDF) Model and Syntax Specification
    W3C Recommendation 22 February 1999

see also: Primer - Getting ino the semantic web and RDF using N3

%@@hmm... URI references need a certain amount of context...
%@@i.e. base URI. put it in the Symbol, the Term, to Atomic, or the
%@@Clause? would it make sense to have clauses with terms from
%@@various contexts? hmm...

RDFAbSyn: trait
% RDF abstract syntax uses URIs for symbols

% a formula is a set of atoms (arcs);
    Set(Atomic, Formula for Set[E])

    Atomic tuple of
      predicate: Term,
      subject: Term,
      object: Term
% this is called a Statement (also: arc?)
% in the RDF 1.0 spec
% hmm... are predicates
% limited to constants?
% The RDF 1.0 syntax suggests
% so, but n3 doesn't have that
% restriction

    Term union of const: URI, ex: Existential
% The RDF 1.0 specs sorta
% call these resources, but
% resources are the things
% that terms denote.



HTML generated using lsl2html.