[Kestrel circling]

Home : Current Projects : Darpa Markup Language
 

Home

About Kestrel

Research Staff

Current Projects

Project Archive

Publications

Technology Transfer

Career Opportunities

Contact Kestrel

Darpa Markup Language

Members

DAML Program Objectives

The goal of the DAML program is to create technologies that will enable software agents to dynamically identify and understand information sources, and to provide interoperability between agents in a semantic manner. This goal will be pursued by a research plan that includes the following six tasks:
  1. Create an Agent Mark-Up Language (DAML) built upon XML that allows users to provide machine-readable semantic annotations for specific communities of interest.
  2. Create tools that embed DAML markup on to web pages and other information sources in a manner that is transparent and beneficial to the users.
  3. Use these tools to build up, instantiate, operate, and test sets of agent-based programs that markup and use DAML.
  4. Measure, via empirical experimentation, the productivity improvements provided by these tools.
  5. Apply these tools to third party agent development, military-specific problems, and support for the intelligence community so as to evolve DAML technologies towards large-scale use.
  6. Transition DAML to the commercial and military markets via partnerships with industrial and defense-related (C2 - Command & Control - and intelligence) organizations.



Axiomatics Semantics of OWL

Discussion

The Axiomatic Theory

Timings of Proofs



Homework

Homework 1

Homework 2

Homework 3



Links

DAML Program home page

DAML-Ont Specification

OIL Home Page

DAML-OIL Specs



 

 

- Back to Top -


- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -