Information structure design: important issues
1. Straightforward notation of discrete mathematics is used
2. Some syntactic richness for data elements (strings, URL's, etc)
Example:
Baral96A : confpapers =
{FIRSTAUTHOR ~ Baral,
OTHERAUTHORS ~ {Gabaldon, Provetti},
TITLE ~ "Formalizing narratives using nested circumscription",
CONFERENCE ~ CommonSense96,
WEBPAGE ~ [http://www-formal.Stanford.EDU/tjc/96FCS/Final-Papers/alfredo@cs.utep.edu.ps],
RESTOPICS ~ {filtering}}
How does one identify the URL corresponding to a particular symbol?
Towards a World-Wide Data Base
(E.Sandewall)