% $Id: RDFAbSyn.lsl,v 1.5 2001/03/30 18:42:44 connolly Exp $
%
Acks
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).
References
-
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
includes
URIclient,
% 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.
[Index]
[source]
HTML generated using lsl2html.