View Full Document

Knowledge Base Diagnostics



View the full content.
View Full Document
View Full Document

17 views

Unformatted text preview:

Knowledge Base Diagnostics Richard Fikes Stanford KSL Adam Pease Teknowledge Mala Mehrotra Pragati Synergetic Research Inc Yolanda Gil USC ISI Deborah McGuinness Stanford KSL 10 18 01 Knowledge Evolution Tools KB development requires knowledge evolution Debugging refining structuring modularizing Power tools are needed to support KB evolution KB diagnosis Bugs omissions heuristic warnings architectural advice KB partitioning To enable effective reasoning To produce reusable KB building blocks KB merging To enable interoperation of KBs with overlapping content KSL is developing knowledge evolution tools 2 Knowledge Systems Laboratory Stanford Chimaera A Knowledge Evolution Tool Environment Tools for KB diagnosis and merging Available as a Web service or an OKBC client Performs KB diagnostics in batch mode www ksl stanford edu software chimaera Usable from a Web browser Online user manual tutorial and demonstration movie Uploads and analyzes user s KB Accepts KBs in OKBC KIF MELD RDF DAML Provides results as HTML pages linked to frames and axioms Provides user selectable set of diagnostic tests Analyzes both the structure and content of a KB Uses reasoners to analyze content 3 Knowledge Systems Laboratory Stanford Classification of Diagnostic Results Errors Logical inconsistencies E g contradictory type constraints Content structure errors E g terms used but not defined Anomalies Missing information E g type constraints Redundancies E g redundant superclass and type links Extraneous structure or content E g terms defined but not used Summaries E g counts of term references Suggestions E g use consistent naming conventions 4 Knowledge Systems Laboratory Stanford Background Reasoning Analysis Reasoning diagnostics that may take substantial time Performed in background Results incrementally posted on Web page Completion notification sent to user via e mail Example reasoning diagnostics Redundant axioms that are inferred by the KB anomaly Inconsistent axioms whose



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Knowledge Base Diagnostics and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Knowledge Base Diagnostics and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?