OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [ANN]: SIX)

Update to the SIX DTD:

the last ATTLIST declaration should read:

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


-----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.


[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/