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.
Lessons learned from HW3 summarizes
our experience with producing large-scale DAML bibliographies
from BibTex references. We describe the process and summarize
our experiences with this case study.
Examples of DAML annotated BibTex files.
We present several BibTex files that have been (semi-)automatically
processed and translated into DAML annotations.
Maude translator program that defines
abstractly the relationship between BibTex and DAML and
provides a translation function.
SRI's DAML Project Home Page
Artifactory Home Page
Computer Science Lab