[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: [ANN]: SIX)
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/
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|