70 likes | 160 Views
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.
E N D
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
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
DAML-Based Tools • Template-Based Document Authoring • DAML-Based Query Answering • DAML-Enabled Web Services
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
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/chimaera • Demo and poster at reception tonight (movie and tutorial on web)
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
Web Services • Language connections with W3C and OIL • DAML-Based Query Answering • DAML-Enabled Web Services