23 March, 2001
This document outlines the work to be done by MIT/LCS under the MIT/AFRL cooperative agreement number F30602-00-2-0593 during the twelve months beginning April 2001. It responds to a request from James Hendler, DAML Program Manager, for informal information both as to technical work and also collaborative work with other groups. In places these are difficult to separate, as the role of the MIT/LCS team includes in large part the liaison between the basic research and the deployment path foreseen via the World Wide Web Consortium co-hosted by MIT/LCS. (This is, as requested, a best guess and in no way consitutes a commitment)
We are building parsers, proof generators, and proof checkers based upon the W3C Resource Description Framework (RDF) and the DAML Ontology Language (DAML-ONT). We are specifying a framework, the Semantic Web Logic Language (SWeLL), on top of RDF and DAML-ONT in which a variety of logic system can be expressed for interchange between applications.
We will build a breadboard system for constructing intercommunication pipelines of components consisting of parsers, data stores, proof checkers, and other RDF/DAML processing modules. This intercommunication breadboard system will allow alternate implementations of each component to be substituted to meet the requirements of specific applications.
The components we expect to have substantially complete during these twelve months are:
We expect to have within 12 months a partial implementation of an HTTP server that does RDF/DAML-ONT/SWeLL proof checking for qualifying access to Web resources.
Technical Goal: documents stored in a SWeLL-mediated Web server are protected by rules that express authority to access the document based upon properties of the document in addition to properties of the requestor.
Example: a rule may state that any document created at a meeting is readable by all the participants who were present at that meeting. Then, the electronic log of a meeting that was constructed using collaborative meeting facilitation tools is by default accessible to each participant. The meeting participants and the documents produced during the meeting are themselves recorded using RDF/DAML.
Technical Goal: Manage document workflow within an organization such as the W3C by deriving the status of a document from messages written in RDF/DAML/SWeLL that affect the state of the document. Manage dependencies by implementing export and import of schedule and calendaring information from a minimum of two popular calendaring / ToDo list management systems to RDF/DAML/SWeLL form.
Scenario: in a highly dynamic organization such as the W3C resources may be required on short notice that have been committed to other tasks. Proof that a meeting can occur at which the resources required to reach a decision are able to be present will depend on the ability to identify all the resources; including personnel, meeting facilities (room, teleconference system), and prerequisite documents. Any participant can use this proof to synchronize independent databases including personal planners. Proofs that a meeting took place at which all prerequisites were met and a decision was taken, become messages that state, for example, that a document progressed from Working Draft to Last Call Working Draft.
Example: The W3C teleconference schedule is a single Web page listing the times and (virtual) locations of the teleconferences for each Working Group. This page is presently maintained by hand and duplicates information that is distributed separately in other forms. It would be more accurate and simpler to maintain if it was derived from RDF/DAML/SWeLL messages exchanged with the individual working groups.
The W3C document publication workflow process will be the testbed for this work. SWeLL rules specify which messages are authoritative in determining document state. These messages are processed from a variety of sources including for example e-mail, irc (synchronous text messaging), and HTTP PUT and POST operations.
We will not be working on user-friendly read/write interfaces to calendar information.
Objective: DAML research work is transitioned into industry standards-track activities at the earliest feasible time.
The World Wide Web Consortium is an industry consortium created to lead the World Wide Web to its full potential by developing common protocols that promote its evolution and ensure its interoperability. W3C has more than 500 Member organizations from around the world. W3C is responsible for developing the XML and RDF standards and for managing the evolution of these standards.
The language specifications for the DAML work build upon XML and RDF layers. The Ontology work is ready to transition now. As each remaining component of the DAML work reaches the stage of having significant existing practical experience and a need for open and fair process for derivation of the common language, MIT/LCS will undertake to propose to the W3C membership to begin standards-track working groups. When these working groups are formed, personnel from the MIT/LCS Semantic Web Development project will participate in order to provide liaison with the DAML work and to provide the experiences drawn from our own technology development.
As other W3C Working Groups are chartered to produce standards in areas that may benefit from DAML technology, we will facilitate the introduction of DAML concepts into the discussions of those Working Groups. Possible examples of this include a description language for Web services and the use of XML in remote access protocols.
$Id: IOW-boring.html,v 1.2 2001/03/23 22:08:06 swick Exp $