HotDAML Newsletter Issue 3 (resend)

From: John Flynn (jflynn@bbn.com)
Date: 07/11/01


This issue of the HotDAML Newsletter was sent last week but is being resent
because a number of people didnít receive it.

HotDAML Newsletter
Keeping you up to speed on happenings in the world of DAML
http://www.daml.org <http://www.daml.org/>
  _____

Monday, July 2, 2001 - Issue 3
  _____


New Stories:
DAML Services Released
DAML-S is a DARPA Agent Markup Language (DAML)-based Web service ontology
that supplies Web service providers with a core set of markup language
constructs for describing the properties and capabilities of their Web
services in unambiguous, computer-intepretable form. DAML-S markup of Web
services will facilitate the automation of Web service tasks including
automated Web service discovery, execution, composition and interoperation.
Following the layered approach to markup language development, the current
version of DAML-S builds on top of DAML+OIL (March 2001), providing an
expressive language for Web service markup in a language with a well-defined
semantics. Find out more about DAML-S at
http://www.daml.org/services/daml-s/2001/05/
Semantic Web for Military Users
DARPA hosted the first Semantic Web for Military Users conference at the
DARPA Technology Integration Center (TIC) on 6-7 June, 2001. Approximately
50 potential military users of DAML technology met to discuss how the use of
DAML could enhance specific military projects. Working groups on
Intelligence Applications; Doctrine Applications and Lessons Learned; and
Command and Control Applications considered key issues and planning for the
transition of DAML into applications in those domains of interest. The
results of the working group meetings and other information related to the
Semantic Web for Military Users conference can be found at
http://www.daml.org/meetings/2001/06/swmeeting.html
Automated Theorem Prover Used to Improve DAML+OIL.
The UBOT project http://ubot.lockheedmartin.com/
<http://ubot.lockheedmartin.com/>  has successfully applied its consistency
checking technology to the DAML+OIL axiomatic semantics, uncovering a number
of previously unsuspected inconsistencies. The UBOT ConsVISor consistency
checking tool can be used to check both ontologies and annotations.  It will
be available on the web for trial use in mid-July. See
http://vis.home.mindspring.com/ for more detailed information.
Initial Version of a DAML/XSLT Adapter Announced
The DAML/XSLT Adapter, developed by Booz Allen, allows users to convert an
arbitrary DAML document into another specific form of your choosing, such as
XML, HTML, WML, or any other form, using an XSL Style Sheet. The DAML
Adapter tool opens up the world of DAML to any user familiar with the
construction and use of XSL Style Sheets, but perhaps unfamiliar with the
DAML markup itself. It will even perform a default transformation of DAML to
representative XML, so that you can use your favorite Style Sheet Editor on
that XML to build your desired Style Sheet(s). This tool is currently
available as a downloadable Java component (API) with associated
documentation and "How To's", and will soon be available as an online WWW
service. Additional details and examples are available at
http://www.davincinetbook.com:8080/daml/damlxslt/DamlXSLTAnnouncement2.html


Archive of <http://www.daml.org/newsletters/> HotDAML
<http://www.daml.org/newsletters/>  Newsletters
<http://www.daml.org/newsletters/>

Subscription, Questions, Comments, Story Tips
<http://www.daml.org/newsletters/>









image001.jpg

This archive was generated by hypermail 2.1.4 : 03/26/03 EST