• From: Peter Jones <peterj@w...>
• To: "'xml-dev@l...'" <xml-dev@l...>
• Date: Mon, 08 Jan 2001 16:36:54 +0000

Update to the SIX DTD:

the last ATTLIST declaration should read:

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

pj

-----Original Message-----
From: ht@c... [mailto:ht@c...]
Sent: 08 January 2001 14:13
To: Peter Jones
Cc: 'xml-dev@l...'
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@c...
		     URL: http://www.ltg.ed.ac.uk/~ht/

• Prev by Date: (Second) Last Call for XPointer 1.0
• Next by Date: RE: And the DTD says, "I'm NOT dead yet!!"
• Previous by thread: RE: RDDL and Schema Localization
• Next by thread: Deadline for papers for XML Europe 2001 extended till Friday 13 January
• Index(es):
  • Date
  • Thread