Predicate Logic in XML (was Re: [ANN]: SIX)

[ht@cogsci.ed.ac.uk (Henry S. Thompson)]

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/