Large-Scale DAML Content (HW3)

February 1, 2001

We include here our responses to the DAML Homework Assignment 3: Large-Scale DAML Content.

In our case study we chose to translate large BibTex bibliographies into DAML. This goal was achieved by preprocessing BibTex files into a format that is acceptable to a program that describes the relationship between BibTex and DAML in an elegant and succinct way with the help of rewrite rules.

Back to SRI's DAML Project Home Page
Back to Artifactory Home Page
Back to AI Center
Back to Computer Science Lab
Back to SRI International