D. Fensel, J. Angele, and R. Studer.
  <b>The Knowledge Acquisition And Representation Language: KARL</b>.
  <i>IEEE Transactions on Knowledge and Data Engineering</i>,
  10(4):527-550, 1998.
  <A HREF="http://vis.cs.brown.edu/docs/pdf/bib/g/Fensel-1998-KAR.pdf.html">(pdf)</A>
  <A HREF="http://vis.cs.brown.edu/results/bibtex/Fensel-1998-KAR.bib">(bibtex:
  Fensel-1998-KAR)</A>.<br />