Transcript DARPA Agent Markup Language (DAML)

Stefan Decker
Stanford University
Mike Dean
BBN Technologies
Objectives


support World Wide Web (WWW)
content that is easily used by intelligent
agents and other programs
enable the Semantic Web
Approach:
Languages and Tools

leverage existing work






W3C Resource Description Framework (RDF & RDFS)
European Ontology Inference Layer (OIL)
UMaryland Simple HTML Ontology Extensions (SHOE)
work with W3C to define languages (standards
transition)
work openly (www.daml.org)
develop prototype tools to span the DAML lifecycle






ontology creation and editing, translation and mapping
distributed knowledge bases markup editors
validation services
DAML APIs
DAML-aware browsers
applications
DAML+OIL Ontology
Language

Joint Committee



US DAML and EU Semantic Web
Technologies participants
released March 2001
technical discussions take place on the
[email protected] email list
(feedback!)
DAML+OIL Language Features






grounded in the WWW (URI naming, XML
syntax, HTTP) -- strong implications for
diversity, scalability, security, etc.
classes and instances
class construction primitives (intersection,
union, complement)
fine grained property constraints
cardinality constraints
formal semantics: model-theoretic and
axiomatic –> enables inferencing
Available Tools







DAML Ontology Library: clearinghouse
Stanford RDF API
OilEd: ontology editor
Chimaera: ontology analyzer
DAML Validator (under development)
DAML Crawler: spider
DAML Viewer, PalmDAML, and HyperDAML:
navigator GUIs
DAML Languages:
Future Work





incorporate feedback
proposal(s) to new W3C Semantic Web
Activity
rules (working with RuleML Initiative)
logic, proof-checking
...
More Information
About DAML:
http://www.DAML.org
About Semantic Web efforts:
http://www.SemanticWeb.org