Explanation Interfaces for the Semantic Web: Issues and Models

1
Explanation Interfaces for the Semantic Web
Issues and Models
Supports explanations of provenance, information
manipulations, and trust using an interoperable,
transparent, and user-friendly knowledge
provenance infrastructure.
WWW
Toolkit
Trust computation
IWTrust
OWL-S/BPEL
SDS
Trace of web service discovery
Proof Markup Language (PML)
End-user friendly visualization
IW Explainer/ Abstractor
N3
CWM
Trace of rule application
Expert friendly Visualization
KIF
Trust
JTP
IWBrowser
Trace of theorem proving
search engine based publishing
Justification
SPARK-L
SPARK
IWSearch
Trace of task execution
Provenance
Text Analytics
provenance registration
UIMA
IWBase
Trace of information extraction
Question - fooquestion1 when and where does
Ramazi has an office
Query - fooquery1 (Holds (hasOffice Ramazi
?where) ?when)
isQueryFor
hasAnswer
IWRegistry (Provenance Metadata)
hasLanguage
NodeSet - foons1 answer to query (Holds
(hasOffice Ramazi SelectGourmetFoods)
April_01_2003)
isConsequentOf
Language - regKIF
fromQuery
hasInferencEngine
InferenceEngine - regJTP
InferenceStep
hasInferenceRule
hasAntecendent
hasVariableMapping
InferenceRule - regGMP
Mapping From ?f To (hasOffice
Ramazi ?where)
More mappings
Source regTypicalityOnto
More NodeSets
NodeSet - foons2 direct assertion (lt
(or (Ab ?f ?t) (Holds ?f ?t)) (Holds ?f ?t))
isConsequentOf
fromAnswer
hasSourceUsage
hasSource
InferenceStep
SourceUsage

• Semantic Web based infrastructure
• Represents knowledge provenance (who, where,
  when)
• Represents justifications and workflow traces
  across system boundaries
• Provides a toolkit for data management and
  visualization

Deborah L. McGuinness, Li Ding, Alyssa Glass,
Cynthia Chang, Honglei Zeng, Vasco Furtado,
Stanford University, in the 3rd International
Semantic Web User Interaction Workshop, 2006 This
effort is supported by NSF contract 5710001895,
DARPA contracts F30602-00-2-0579, 
HR0011-05-0019,  55-300000680 to-2 R2, and DTO
contract 2003H278000000