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
AI Center
Computer Science Lab
SRI International