Re: [ANN]: SIX)

[Peter Jones <peterj@wrox.com>]

Update to the SIX DTD:

the last ATTLIST declaration should read:

...
<!ATTLIST ruledoc
            type     CDATA #REQUIRED
            rulesref      CDATA #REQUIRED
>

pj

-----Original Message-----
From: ht@cogsci.ed.ac.uk [mailto:ht@cogsci.ed.ac.uk]
Sent: 08 January 2001 14:13
To: Peter Jones
Cc: 'xml-dev@lists.xml.org'
Subject: Predicate Logic in XML (was Re: [ANN]: SIX)


You might like to have a look at this work by Drew McDermott [1] which 
has some similarities to your SIX proposal.

ht

[1] http://www.cs.yale.edu/homes/dvm/daml/proposal.html
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/