CoSAR-TS Scenario Ideas Austin Tate 28-Jan-2003 ----------------------------------------------------------------------- Some ideas follow for DAML described tools and services we can combine to put together an early demo for CoSAR-TS... Jeff Bradshaw and his team already have experience of using DAML-O and DAML-S in their KAoS work and know the (Stanford DAML related theorem prover in Java?) tools used to parse, load and check assertions related to things in these. We hope to be able to draw on his experience in that area. Niranjan Suri, Andrzej Uszok and Jeff Bradshaw also have some experience of and software to do things like information gathering and feeds that could relate to a SAR task and to present that in a form we can use in our demos. This could carry on the work in this area started under CoAX Binni 2002 and take it forward into CoSAR-TS. Stuart Aitken also has some experience on RKF with tools that used DAML descriptors such as a plan sketch tool. The sketch tool in particular might give us a natural fit for a SAR related demo. There might be web based "map services" that we can incorporate into the demo. There are even some ideas we might be able to draw on from amazon.com's use of web services for its commercial services. It acts as a good example a simple product information lookup service. http://www.amazon.com/webservices -------------- NRL Work on Combat SAR using DAML in ESG Enabling Experimentation (EEE) Doug Horner , RA, Naval Postgraduate School Also involved is Lee Lacy , DRC Possible service to enabling dynamic air route changes based on XML USMTF message traffic coupled with a DAML enemy situation descriptions. See http://www.aiai.ed.ac.uk/project/cosar-ts/work/nrl/