DAML Task Signup

Various additional items are needed to enable successful use of DAML+OIL that aren't currently being developed under DAML contracts or elsewhere.

To address these needs, by the end of the July 2001 DAML PI Meeting, each research team is expected to signup for at least 1 additional task. Tasks should be scoped to allow a deliverable (downloadable and/or WWW-accessible software, DAML content, or report) within 2-3 months.

Below is a list of task categories, along with some example tasks. Through Thursday, please suggest additions to Jim Hendler or Mike Dean. During the breakout sessions on Friday, each breakout group is expected to spend some time adding categories and/or tasks and getting teams to signup. These should be included in the breakout session outbriefs. We'll perform any necessary deconfliction during the closing discussion on Friday.

This document will be distributed in hardcopy and will be available at http://www.daml.org/2001/07/signup/. It was generated directly from http://www.daml.org/2001/07/signup/signup.daml using a version of DAML XSLT.


Application Program Interfaces


Support further enhancements to and standardization of DAML API.

XML Schema

identify or provide a Java API that DAML applications can use to validate string values against builtin and user-defined XML Schema datatypes (type checks, range checks, etc.).

New Ontologies

DAML Dublin Core

provide a version of the Dublin Core ontology that takes full advantage of DAML+OIL language features


DAML Design Case Studies

Develop a case study discussing and analyzing the design decisions made in developing a real application using DAML.

Performance/Scalability Analysis

Build off some early work by Mike Dean to characterize (and hopefully improve) the ability of various tools to handle large numbers of DAML statements.


Equivalent Semantics

check the correspondence of the DAML+OIL axiomatic-semantics and model-theoretic-semantics.


DAML Tools Wishlist

implement a tool from the DAML Tools Wishlist

Training Materials

Use of XSB with DAML+OIL

http://www.semanticweb.org/XSB/ notes that "XSB supports processing of RDF data via W3C's libwww" but provides no examples. Develop and post additional information for this site that includes a sample application using DAML+OIL as well as installation instructions for all components under Windows and Unix (Linux and/or Solaris).


SVG Visualization

extend the W3C work at http://www.w3.org/2001/02pd/ to provide a robust, simple-to-use, general purpose WWW interface to render a colored Scalable Vector Graphics (SVG) visualization of DAML+OIL ontologies and/or content

UML Visualization

Provide a robust downloadable and/or WWW-accessible tool to visualize DAML+OIL ontologies and/or content using UML.