|
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:
- Create an Agent Mark-Up Language (DAML) built upon XML that allows users to
provide machine-readable semantic annotations for specific communities
of interest.
- 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.
- Use these tools to build up,
instantiate, operate, and test sets of agent-based programs that
markup and use DAML.
- Measure, via empirical experimentation,
the productivity improvements provided by these tools.
- 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.
- 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
-
|