Notes on Draft Proposal for Embedding FOL in RDF/DAML

George Ferguson

5 Sep 2002

These notes are the result of my efforts to implement the algorithm given in ``A Proposal for Encoding Logic in RDF/DAML'' by McDermott, et al. The resulting code can be obtained from the DAML-Time Homepage.


Last change: 5 Sep 2002 by ferguson