DAML PI Meeting Status BriefingDAML PI Meeting Status Briefing

UMBC, JHU APL, MIT SloanUMBC, JHU APL, MIT Sloan

Tim FininJim Mayfield

Benjamin Grosof

February 12, 2002tell

register

JHU APL Haircutretrieval systemCommunicating

AgentsXTalks Application testbed

AccomplishmentsAccomplishments

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

XTalks XTalks

• XTalks supports 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/

accomplishments

accomplishments

XSBDAML+OIL

Reasoner

ITTALKSagent

Travelagent

Calendaragent

Useragent

BrokerAgent

AgentNameServer

user’s daml profile

mapquest

MS Outlook

ITTALKS app

DAML reasonerCommon agent infrastructure

FIPA ACL

API

Communicationprotocol

1

8

7 6

5

3

2

4

9

10

11

12

13

17

16

15

14

18

Distributed TrustDistributed 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 evaluated

by reasoning using trust and security policy

Adding security to FIPA framework

http://daml.umbc.edu/ontologies/trust-ont.daml

ApplicationsTo XTalks& mobilecomputing

accomplishments

Interactive ontology mapperInteractive 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 betweenAlternative topic ontologies in DAML+OIL

accomplishments

DAML and Text RetrievalDAML 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)

Damlator translation engineDamlator 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/

HTTPBrowser

DAML-speaking

Agent

Apache WebServer

DAMLATORModule

Local File SystemDAMLATOR

Cache

accomplishments

DAMLator examplesDAMLator 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

2002 Planned Activity2002 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

XTalks Personal AgentXTalks 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.

JADE platformJADE platform

PersonalAgent

Infrastructure

PluginManager

UserInterface

UserModelCOM

Bridge

RuleEngine

Interface

XSB

Jess

yajxb

XtalksPlugin

MapquestPlugin

BuddyList

Plugin

ExternalPlugins

External World

plans

Xtalks agentsXtalks agents

XtalksSystem

Xtalks Interface

Xtalks Agent

Mapquest Agent

Personal Agent (1)

FIPA RequestResponse Protocol

FIPA RequestResponse Protocol

Periodicquerying

Scenarios1,2

Personal Agent (2)

Personal Agent (3)

Scenarios3,4

1 – Xtalks Announcement2 – User Agent Solicitation3 – Buddy List4 – Travel Planning

plans

XtalksSystem

<daml>text

Integrating Retrieval and InferenceIntegrating Retrieval and Inference

<daml>text

IndexInference

1. <triple>2. <triple>3. <triple>4. <triple>5. <triple>6. <triple>7. <triple>8. <triple>9. <triple10. <triple>

Inference

RetrievalEngineInference

plans

triples

words

daml tags

rdf clauses

DAML RulesDAML 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.

DAMLRuleOntology

DAMLRuleOntology

DAML KB( Facts + Rules )represented in

DAML

DAML KB( Facts + Rules )represented in

DAML

Jess representation of facts & rules

Jess representation of facts & rules

DAMLRules to Jess

Converter

DAMLRules to Jess

Converter

Jess EngineJess Engine

Derived Facts

Derived Facts

Derived Facts represented in

DAML

Derived Facts represented in

DAML

Jess toDAMLRule Converter

Jess toDAMLRule Converter

plans

2002 Planned Deliverables2002 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

Metrics for measuring progressMetrics 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

Summary and QuestionsSummary 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

PapersPapers

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

PapersPapers

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