Explanation for the Semantic Web

60
Explanation for the Semantic Web Rakebul Hasan

description

 

Transcript of Explanation for the Semantic Web

Page 1: Explanation for the Semantic Web

Explanation for the Semantic WebRakebul Hasan

Page 2: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 2

Explanation in the Semantic Web

What’s been done (existing work)

What’s ahead (perspective)

Page 3: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 3

What is explanation and why do we need it?

Page 4: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 4

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

Page 5: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 5

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Page 6: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 6

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Page 7: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 7

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Tim Berners-Lee is a Computer Scientisthttp://www.academiawiki.com/

Page 8: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 8

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Tim Berners-Lee is a Computer Scientisthttp://www.academiawiki.com/

England is part of United Kingdomhttp://www.geolocationwiki.com/

Page 9: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 9

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Tim Berners-Lee is a Computer Scientisthttp://www.academiawiki.com/

England is part of United Kingdomhttp://www.geolocationwiki.com/

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientistrdfs:subClassOf

rdf:type

Page 10: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 10

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientistrdfs:subClassOf

rdf:type

Page 11: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 11

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientist

rdfs:subClassOfrdf:type

Page 12: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 12

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientist

rdfs:subClassOfrdf:type

Page 13: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 13

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientist

rdfs:subClassOfrdf:type

rdf:type

isPartOf

Page 14: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 14

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientist

rdfs:subClassOfrdf:type

rdf:type

isPartOf

birthPlace birthPlace

Page 15: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 15

TimBernersLee

London

England

birthPlace

isPartOf

UnitedKingdom

isPartOf

ComputerScientist

Scientist

rdfs:subClassOfrdf:type

rdf:type

isPartOf

birthPlace birthPlace

Scientists born in United Kingdom?

Answer: Tim Berners-Lee

Page 16: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 16

Tim Berners-Lee is a Scientist

Tim Berners-Lee was born in United Kingdom

Page 17: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 17

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Tim Berners-Lee is a Computer Scientisthttp://www.academiawiki.com/

England is part of United Kingdomhttp://www.geolocationwiki.com/

Tim Berners-Lee is a Scientist

Tim Berners-Lee was born in United Kingdom

Tim Berners-Lee was born in England

Page 18: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 18

Tim Berners-Lee was born in Londonhttp://www.academiawiki.com/

London is in Englandhttp://www.geolocationwiki.com/

Computer Scientists are Scientistshttp://www.vocabularywiki.com/

Tim Berners-Lee is a Computer Scientisthttp://www.academiawiki.com/

England is part of United Kingdomhttp://www.geolocationwiki.com/

Tim Berners-Lee is a Scientist

Tim Berners-Lee was born in United Kingdom

Tim Berners-Lee was born in England

Page 19: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 19

“Oh, yeah?” button to support users in assessing the

reliability of information encountered on the Web

- Tim Berners-Lee

Page 20: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 20

What’s been done

Page 21: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 21

What is explained?

Who are the targets?

How explanations are presented?

Page 22: Explanation for the Semantic Web

What is explained?

04/09/2023Wimmics Seminar - 22

• Information manipulation steps

•Information manipulation operations

• Proof tree of derivations

• Provenance information such as How, When, Who,

Where

Page 23: Explanation for the Semantic Web

Target

04/09/2023Wimmics Seminar - 23

• Human users

•Natural language explanation

•Graphical explanation

• Software agents

•Machine readable descriptions

Page 24: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 24

How explanations are presented?

How explanations are represented for machines?

How human users interact with explanations?

Trust

Page 25: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 25

WIQA [Bizer, 2007]

Page 26: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 26

KiWi [Kotowski and Bry, 2010]

Page 27: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 27

KiWi [Kotowski and Bry, 2010]

Page 28: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 28

Explaining entailments in OWL ontologies [Horridge et al., 2008]

Page 29: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 29

Inference Web [McGuinness et al. (a), 2003] [McGuinness et al. (b), 2006] [McGuinness et al. (c), 2008]

Page 30: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 30

EASD/KOIOS [Forcher et al., 2010]

Page 31: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 31

EASD/KOIOS [Forcher et al., 2010]

Page 32: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 32

• Proof trees for answers

• Operations used to compute answers

• Different types of provenance information

• Models for how explanations should be presented to

human users

• Trust related information

Page 33: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 33

• Proof Markup Language (PML) Ontology

•Proof interlingua

•Justifications: information manipulation steps and

operations

•Provenance information

•Trust information

Page 34: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 34

Page 35: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 35

Accountability In RDF (AIR) [Kagal et al., 2011]

Page 36: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 36

• KOIOS

•KOIOS Process Language (KPL) for describing the

behavior of KOIOS problem solver

•The Mathematical Graph Language (MGL) for

transforming the process model to a graph based view.

•VGL for describing the visualization model

Page 37: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 37

EXPL: WIQA describes its explanation trees (parts and

subparts of an explanation) using the Explanation

(EXPL) Vocabulary

Page 38: Explanation for the Semantic Web

Interaction

04/09/2023Wimmics Seminar - 38

• Navigation

• Follow-up

Page 39: Explanation for the Semantic Web

Interaction

04/09/2023Wimmics Seminar - 39

Page 40: Explanation for the Semantic Web

Interaction

04/09/2023Wimmics Seminar - 40

Page 41: Explanation for the Semantic Web

Trust

04/09/2023Wimmics Seminar - 41

• Inference Web

•PML Trust vocabulary

•Trust explanation

Page 42: Explanation for the Semantic Web

Trust

04/09/2023Wimmics Seminar - 42

Page 43: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 43

What’s ahead

Page 44: Explanation for the Semantic Web

Infrastructure

04/09/2023Wimmics Seminar - 44

• Accommodating common data publishing principle

•Publishing explanation metadata along with data

using linked data principles

• Addressing heterogeneous and distributed nature of the

Web promoting interoperability

•W3C PROV-DM data model as an interchange data

model

Page 45: Explanation for the Semantic Web

Target

04/09/2023Wimmics Seminar - 45

• Level of user expertise should be taken into account

while providing explanation

•User profiling

Page 46: Explanation for the Semantic Web

What is explained?

04/09/2023Wimmics Seminar - 46

• Semantic Web applications use distributed

interconnected data in their reasoning process

•Explaining network of data used in the reasoning

process, flow of information

• How explanations exposing problem solving methods

influence security and confidentiality?

Page 47: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 47

• Blank nodes are not good

• Granularity

• Provenance

• Interoperability

Page 48: Explanation for the Semantic Web

Metadata representation

04/09/2023Wimmics Seminar - 48

Page 49: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 49

r4ta:Justification

prov:Trace

prov:Account

prov:ProvenanceContainer

prov:Entity

r4ta:Assertion

r4ta:InferredAssertion

r4ta:DirectAssertion

r4ta:InferenceRule

prov:Plan

r4ta:inferredByRule

prov:hadPlan

prov:Activityr4ta:justifies

prov:traceTo

prov:qualifiedTrace

r4ta:antecedent prov:specializationOf

Page 50: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 50

• User expertise

•What’s useful and what’s overwhelming?

•Context-aware data consumption

Page 51: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 51

Summarization

Page 52: Explanation for the Semantic Web

Presentation

04/09/2023Wimmics Seminar - 52

Summarization

Page 53: Explanation for the Semantic Web

Interaction

04/09/2023Wimmics Seminar - 53

• What kind of interactions are useful need to be

understood

• How to interact established trust?

Page 54: Explanation for the Semantic Web

Trust

04/09/2023Wimmics Seminar - 54

• How explanation influence trust in the Semantic Web?

• How to capture established trust and reason over it?

• Explaining trust itself

Page 55: Explanation for the Semantic Web

Trust

04/09/2023Wimmics Seminar - 55

“If someone trusts a large company such as IBM, and IBM

brands other companies as ethical, then the person will

trust those companies, too”

– Tim Berners-Lee,

Weaving the Web

Page 56: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 56

<geo:london> <voc:isPartOf> <geo:England>.<geo:london> <rdfs:label> “London”@en.<geo:london> <voc:population> “7825200”^^xsd:integer.<geo:london> <voc:lat> “51.50853”^^xsd:decimal.<geo:london> <voc:long> “-0.12574”^^xsd:decimal.

geo:about_london

Page 57: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 57

<geo:london> <voc:isPartOf> <geo:England>.<geo:london> <rdfs:label> “London”@en.<geo:london> <voc:population> “7825200”^^xsd:integer.<geo:london> <voc:lat> “51.50853”^^xsd:decimal.<geo:london> <voc:long> “-0.12574”^^xsd:decimal.

geo:about_london

trust

endorses

Page 58: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 58

<geo:london> <voc:isPartOf> <geo:England>.<geo:london> <rdfs:label> “London”@en.<geo:london> <voc:population> “7825200”^^xsd:integer.<geo:london> <voc:lat> “51.50853”^^xsd:decimal.<geo:london> <voc:long> “-0.12574”^^xsd:decimal.

geo:about_london

trust

endorses

• Explicit endorsements• Incoming links: owl:sameAs

Page 59: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 59

<geo:london> <voc:isPartOf> <geo:England>.<geo:london> <rdfs:label> “London”@en.<geo:london> <voc:population> “7825200”^^xsd:integer.<geo:london> <voc:lat> “51.50853”^^xsd:decimal.<geo:london> <voc:long> “-0.12574”^^xsd:decimal.

geo:about_london

trust

endorses

• Explicit endorsements• Incoming links: owl:sameAs

• Explanation of trust and endorsement network

Page 60: Explanation for the Semantic Web

04/09/2023Wimmics Seminar - 60

Please see the research report RR-7974 for the list of references:

http://hal.inria.fr/hal-00702277

Thank you