DAML PI Meeting Status Briefing

1. tell register DAML PI Meeting Status Briefing UMBC, JHU APL, MIT Sloan Tim FininJim MayfieldBenjamin Grosof February 12, 2002 JHU APL Haircutretrieval system XTalks Application testbed Communicating Agents

2. Accomplishments • ITTALKS => XTalks as integrated applications using agent mediated services to disseminate event announcements • DAML+OIL as an agent communication language allows intelligent agents accept DAML+OIL event notifications and enter on user’s calendar if they match interests, location & schedule. • DAML+OIL ontology to represent distributed trust and belief • Retrieval • Retrieval using text, DAML+OIL, and RDF triples • Implemented retrieval-based ontology mapping (not yet enough DAML/text for general applicability) • Implemented SOAP-based retrieval and term relationship services • Preliminary representation of RuleML in DAML • Implemented DAMLATOR Apache module as an efficient, convenient translation engine for DAML+OIL accomplishments

3. XTalks • XTalkssupports database driven website of talks and related. The database contains information on • Seminar events • People (speakers, hosts, users,…) • Places (rooms, institutions,…) • Topics (defined by DAML+OIL ontology) • User’s interests, schedules and locations • This database is used to dynamically generate web pages and DAML+OIL descriptions for the talks and related events. • Notifications are sent to registered users and/or their agents via email, SMS, WAP, and/or an ACL (e.g., KQML, FIPA) for events matching their interests, location and schedule. • XTalks 1.0 available by CD orhttp://daml.umbc.edu/download/ http://ittalks.org/ Demo! accomplishments

4. 10 1 ITTALKS app mapquest 18 11 ITTALKSagent Travelagent Communicationprotocol FIPA ACL 17 user’s daml profile 9 2 API 12 Useragent Calendaragent 8 16 13 5 14 3 7 6 4 15 XSB DAML+OILReasoner BrokerAgent AgentNameServer MS Outlook Common agent infrastructure DAML reasoner accomplishments

5. Distributed Trust Delegation based model for distributedauthorization and trust for use in bothwired and wireless scenarios. • Focus on trust from security perspective • Building on concepts like authentication,authorization, role-based access control,public key infrastructure, digital signatures,authoritative sources of information, etc. Agents make speech acts aboutand reason over these propertiesand relations. • Grounded in an ontology represented in DAML+OIL Trust/security policies defined in DAML+OIL and by rules (in RuleML) • Requests for actions made by and to agents evaluatedby reasoning using trust and security policy • Adding security to FIPA framework http://daml.umbc.edu/ontologies/trust-ont.daml Applications To XTalks & mobilecomputing accomplishments

6. Interactive ontology mapper Allows users to create mappings between two ontologies which have URIs to text associated with classes and properties. Automates mapping process, taking into account hierarchical relationships and user-specified landmark mappings. Uses text classification to compute similarities between pairs of classes or properties. Used in XTalks to enable mappings between Alternative topic ontologies in DAML+OIL accomplishments

7. DAML and Text Retrieval • HAIRCUT retrieval engine augmented to usetext, DAML, and RDF triples as indexing/query terms • Demonstrated retrieval-based ontology mapping • find text that characterizes DAML tag, then find other DAML tags with similar characterizations • Not yet enough DAML/text available for general applicability of this technique • SOAP query services over DAML crawler data available http://www.daml.org:2020/soap/servlet/rpcrouter/ Services are affines (find related terms), lookup (search for documents)

8. Damlator translation engine • Extensible engine for DAML-encoded Semantic Web pages translation and caching • Currently supported output formats: • For humans: GIF and PNG • For agents: DAML, NTriples, Prolog terms • Caching supports scalability and efficiency • Incorporated as an Apache-module • Faster, application/user independent and system-wide availability • Accessed via http://host/@SeeAs@/original/path/to/file.daml • Similar to W3C RDF Validation Service • Uses Jena RDF/XML Parser, Apache Xerces, AT&T GraphViz • Available from http://www.ittalks.org/download/ accomplishments

9. DAMLator examples http://daml.umbc.edu/dmldemo/Profile1.daml • Original file http://daml.umbc.edu/@daml@/dmldemo/Profile1.daml • Just the DAML markup http://daml.umbc.edu/@xsb@/dmldemo/Profile1.daml • XSB/Prolog terms for triples http://daml.umbc.edu/@gif@/dmldemo/Profile1.daml • Gif of rdf graph, generated with GraphViz http://daml.umbc.edu/@png@/dmldemo/Profile1.daml • Png of rdf graph, generated with GraphViz http://daml.umbc.edu/@ntriples@/dmldemo/Profile1.daml • Rdf in ntriple format

10. 2002 Planned Activity • Xtalks 2.0 • Easily configured Personal Agents accept recommendations from XTalks agents and other agents about events of interest. • Extend ontology mapper beyond topic ontologies • Retrieval • Incorporate pre-indexing, pre-query and post-query inference • Use retrieval ranking to limit post-query inference • Rules • Jess reasoner for integrated DAML+OIL and RuleML based rules • Application to security/trust policy checking plans

11. XTalks Personal Agent XPA is a configurable “personal agent” which accepts FIPA messages from XTalks and other instances of XPAs as well as applications, e.g.Outlook. External World Xtalks Plugin Mapquest Plugin Buddy List Plugin External Plugins XSB yajxb Personal Agent Infrastructure User Interface User Model Plugin Manager Rule Engine Interface COM Bridge Jess JADE platform plans

12. Xtalks agents 1 – Xtalks Announcement 2 – User Agent Solicitation Xtalks Interface 3 – Buddy List 4 – Travel Planning Mapquest Agent FIPA Request Response Protocol Xtalks System Xtalks System Scenarios 1,2 Periodic querying Personal Agent (2) Xtalks Agent FIPA Request Response Protocol Scenarios 3,4 Personal Agent (3) Personal Agent (1) plans

13. Inference <triple> <triple> <triple> <triple> <triple> <triple> <triple> <triple> <triple <triple> Inference Integrating Retrieval and Inference Index triples daml tags <daml> text words rdf clauses Retrieval Engine <daml> text Inference plans

14. DAML KB ( Facts + Rules ) represented in DAML DAMLRules to Jess Converter Jess representation of facts & rules DAMLRule Ontology Jess Engine Derived Facts represented in DAML Jess to DAMLRule Converter Derived Facts DAML Rules To be demonstrated by supporting the reasoning of a distributed trust scenario for establishing an agent’s permissions and obligations from descriptions (in DAML+OIL) of their properties and of the security and trust policy in force. plans

15. 2002 Planned Deliverables • Xtalks 2.0 • XTalks 2.0 available on CD and download • Configurable personal agent works with XTalks agents and other personal agents • FIPA platform with distributed trust modules • Retrieval • Integrated retrieval over text and markup with inferencing • Demonstration of retrieval-ranked inference control • Rules • Demonstration of integrated reasoning with DAML+OIL and RuleML rules for security/trust policy checking deliverables

16. Metrics for measuring progress • Xtalks • Number of interacting/cooperating XTalks personal agents • Integrated retrieval • Percentage reduction in inferences when using retrieval rankings • DAML+Oil rules • Completeness of DAML+OIL reasoning • DIPS (DAML Inferences per second) on standard benchmarks metrics

17. Summary and Questions • Three areas: • Agent mediated applications and services • Retrieval using both text and semantic web markup • Representing and exploiting rules in DAML+OIL • XTalks as a fielded application testbed • Questions? summary

18. Papers Sasikanth Avancha, Anupam Joshi, and Tim Finin, Enhancing the Bluetooth Service Discovery Protocol, submitted IEEE Wireless Computing and Networking Conference, Orlando, March 17-21, 2002. Lalana Kagal, Jeffrey Undercoffer, Anupam Joshi, and Tim Finin, Vigil: Providing Trust for Enhanced Security in Pervasive Systems, October 2001. http://umbc.edu/~finin/papers/vigil/ R. Scott Cost et.al., 'ITTALKS: A Case Study in DAML and the Semantic Web', IEEE Intelligent Systems Special Issue, 2002 Lalana Kagal, Jeffrey Undercoffer, Filip Perich, Anupam Joshi, Tim Finin, 'Vigil: Enforcing Security in Ubiquitous Environments', Grace Hopper Celebration of Women in Computing, 2002. Lalana Kagal, Vladimir Korolev, Sasikanth Avancha, Anupam Joshi, Timothy Finin, 'A SmartSpaces Approach to Service Management for Pervasive Computing', Grace Hopper Celebration of Women in Computing, 2002. Tim Finin et. al., Information Agents for Mobile and Embedded Devices, Fifth International Workshop Cooperative Information Agents, September 6-8, 2001 Modena, Italy. http://umbc.edu/~finin/papers/cia01/ Lalana Kagal, Tim Finin and Anupam Joshi, Moving from Security to Distributed Trust in Ubiquitous Computing Environments, IEEE Computer, December 2001. http://umbc.edu/~finin/papers/ieee01/ Anupam Joshi, Timothy Finin, and Yelena Yesha, Agents, Mobility, and M-Services: Creating the next generation applications and infrastructure on mobile ad-hoc networks, Workshop on an Infrastructure for Mobile and Wireless Systems, Scottsdale, Arizona, October 15, 2001. appendix

19. Papers Olga Ratsimore, Vladimir Korolev, Anupam Joshi and Tim Finin, Agents2Go: an infrastructure for location-Dependent Service Discovery in the mobile electronic commerce environment, First ACM Mobile Commerce Workshop, July 21, 2001, Rome. http://umbc.edu/~finin/papers/amcw01/ R. Scott Cost et. al., ITTALKS: A Case Student in how the Semantic Web Helps, International Semantic Web Workshop -- Infrastructure and Applications for the Semantic Web, July, 2001, Stanford. http://umbc.edu/~finin/papers/swws01/ Filip Perich et. al., ITTALKS: An Application of Agents in the Semantic Web, Workshop on Engineering Societies in the Agents' World, 7 July 2001, Prague. http://umbc.edu/~finin/papers/esaw01/ Lalana Kagal et. al., A Highly Adaptable Infrastructure for Service Discovery and Management in Ubiquitous Computing, May 2001. Lalana Kagal, Timothy Finin, and Yun Peng, A Framework for Distributed Trust, Workshop on Autonomy, Delegation, and Control: Interacting with Autonomous Agents, IJCAI-2001, Seattle, August, 2001. http://umbc.edu/~finin/papers/jicai01/ Lalana Kagal et. al., An Infrastructure for Distributed Trust Management, Workshop on Norms and Institutions in Multiagent Systems, Autonomous Agents 2001, Montreal, May 29, 2001. http://umbc.edu/~finin/papers/nimas01/ Lalana Kagal et. al., Centaurus: A Framework for Intelligent Services in a Mobile Environment, International Workshop on Smart Appliances and Wearable Computing (IWSAWC), Scottsdale, Arizona, USA, April 16, 2001. http://umbc.edu/~finin/papers/centaurus/ Harry Chen, Anumpam Joshi, Tim Finin, and Dipanjan Chakraborty, "Dynamic Service Discovery for Mobile Computing: Intelligent Agents meet Jini in the Aether", Baltzer Science Journal on Cluster Computing, Special Issue on Advances in Distributed and Mobile Systems and Communications, 2001. appendix