10 likes | 128 Views
Web Procedures Ontologies. Web Service Ontologies. Agent Broker. DAML-enabled web pages. DAML-enabled personal/company constraints and prefs. . E-mail . KB. Mobilizing the Web with DAML-Enabled Web Services. Knowledge Systems Lab, Department of Computer Science, Stanford University.
E N D
Web Procedures Ontologies Web Service Ontologies Agent Broker DAML-enabled web pages DAML-enabled personal/company constraints and prefs ... E-mail KB Mobilizing the Web with DAML-Enabled Web Services Knowledge Systems Lab, Department of Computer Science, Stanford University Sheila McIlraith, Son Cao Tran, Honglei Zeng, Richard Fikes Jessica Jenkins, Ron Fadel, Deborah McGuinness • Objective: • The web is evolving from a provider of documents and images to a provider of services. Today’s web was designed primarily for human use. • We exploit DAML markup to enable automated web service discovery, execution, compositionandinteroperationthrough: • Semantic markup of web services that enables them to be computer-interpretable, use-apparent and agent-ready. • Agent technology that exploits this semantic markup to support automated web service discovery, execution, composition and interoperation. The Vision • DAML Markup of Web Services • Action-based metaphor: • information gathering & world altering web services. • Markup is declarative and semantically grounded. • Ontologies of web services facilitate creation, sharing, • reuse, composition; support succinct web site markup. • Markup is independent of agent implementation. • Markup enables declarative specification of API. Ontologies of Generic Procedures Ontologies of sharable, reusable generic procedures. “The what but not necessarily the how” • DAML-Defined Constraints & Preferences • Customize generic procedures • personal constraints • group/company constraints • instance-specific constraints • Agent Broker • Sends requests to and dispatches • responses from web services. • Web service ontologies facilitate location • of appropriate web services. • Tasking Agents -- • Generic Procedures and Deductive Machinery • Humans or other agents task agent. Task expressed • as generic procedure call, potentially in conjunction with • further constraints. • Generic procedures are deductively instantiated • with respect to the agent KB, generating web service • requests that are sent to the agent broker. • Generic procedures result in different sequences of • web services depending upon the constraints, state • of the world, and web services. • Status: February, 2001 • DAML = DAML+OIL & First-order logic (for now) • Agent’s KB representation language = Situation Calculus • Generic procedures representation language = Golog • Deductive machinery = Prolog • Agent Broker = Open Agent Architecture (OAA) [SRI] • Prototype agent/agent broker constructed. • Rudimentary service ontology constructed. • Agent’s KB • Automatically constructed from • ontologies and web site markup • in response to agent’s task. • Updated by web service • responses.