1. Tools for DAML-Based Services, Document Templates, and Query Answering Richard Fikes Deborah McGuinness Sheila McIlraith Tran Cao Son Honglei Zeng Steve Wilder Jessica Jenkins Knowledge Systems Laboratory Stanford University www.ksl.stanford.edu

2. DAML Kickoff Meeting 8/14/00 Knowledge Systems Laboratory, Stanford University2 Knowledge Systems Laboratory Technology for effectively representing, reasoning with, and using knowledge in computer systems  Knowledge Sharing Technology äOntolingua - Ontology library and development environment äKIF - Formal logic knowledge interchange format äOKBC - Standardized API for knowledge servers äChimaera - Ontology merging and diagnosis environment  Modeling and Analysis of Complex Hybrid Physical Systems äModel-based programming, diagnosis, and control  Adaptive Intelligent Agents äGuardian, AIbots, Virtual Theatre  Major Sponsors äDARPA (DAML, RKF, HPKB, I*3, RaDEO, MADE, KSE), NASA, and NSF äCisco Systems, VerticalNet

3. DAML Kickoff Meeting 8/14/00 Knowledge Systems Laboratory, Stanford University3 DAML-Based Tools  Template-Based Document Authoring  DAML-Based Query Answering  DAML-Enabled Web Services

4. DAML Kickoff Meeting 8/14/00 Knowledge Systems Laboratory, Stanford University4 Document Authoring Tools  Template-Based Document Authoring äDocument templates with semantics specified in DAML ontologies >Most documents will be instances of document templates >Templates specify document syntax and semantics –Syntax based on XML –Semantics based on DAML ontologies äAuthoring tools for working with templates and ontologies >Description-based retrieval > Merging >Comparison > Analysis >Explanation of content > Diagnosis äLanguage support >OIL – Ontology Interchange Layer (meeting August 20) >Description Logic connections  DAML-Based Query Answering  DAML-Enabled Web Services

5. The Chimaera Merging and Diagnostic Ontology Environment McGuinness, Fikes, Jenkins, Wilder, and Rice* An interactive web-based tool aimed at supporting: Merging of ontological terms from varied sources Diagnosis of coverage and correctness of ontologies Maintaining ontologies over time Features: multiple I/O languages, loading and merging into multiple namespaces, collaborative distributed environment support, integrated browsing/editing environment, extensible diagnostic rule language Used in commercial and academic environments Available as a hosted service from www-ksl-svc.stanford.edu Information: www.ksl.stanford.edu/software/chimaerawww.ksl.stanford.edu/software/chimaera Demo and poster at reception tonight (movie and tutorial on web)

6. DAML Kickoff Meeting 8/14/00 Knowledge Systems Laboratory, Stanford University6 Query Answering Tools  Template-Based Document Authoring  DAML-Based Query Answering äDAML-based interface to heterogeneous Web information sources >Query language that uses terminology defined in DAML ontologies >Query interfaces such as SHOE-search or FindUR/SmartSearch >Query responses as an “answer web” of DAML documents –Information sources – Related information –Explanations of derived answers – Suggestions for related queries äTools for specifying and creating DAML-based answer webs E.g., specifying what is to be included and pruned from answers äInterfaces to representative heterogeneous information sources >Databases, PARKA, OKBC knowledge servers, DAML documents,...  DAML-Enabled Web Services

7. DAML Kickoff Meeting 8/14/00 Knowledge Systems Laboratory, Stanford University7 Web Services  Language connections with W3C and OIL  DAML-Based Query Answering  DAML-Enabled Web Services