semantic matchmaking of resources with local

8/11/2019 Semantic Matchmaking of Resources With Local

1/69

Semantic Matchmaking ofResources with Local

Closed-World ReasoningStephan Grimm

[email protected]

Pascal Hitzler

[email protected]

Khan Sadh N. Mostafa


2/69

Web Ontology Language

description logic

first order predicate logic

(open world assumption) negative knowledge absence of knowledge


3/69

Intro


4/69

Agenda


5/69

Description Logics

e.g. Computer, OS

e.g. hasComponent, runsOS

e.g. Deep Blue, Windows 8


6/69

Description Logics

e.g. hasComponent

e.g. capacity


7/69

Description Logics

ComputerMobileDevice

hasComponent.DVDDrive

Computer

runsOS.

WindowsOS

SHOIN D


8/69

Description Logics

C1 C2 1 2

a1 an

ci cn

A

p

r

s

d

n


9/69

Description Logics


10/69

Description Logics

WindowsPC Computer runsOS.WindowsOS

Laptop PocketPC Computer MobileDevice

hasGfx hasComponent,


11/69

Description Logics

Laptop(MyComputer)

runsOS(MyComputer, WindowsXP)


12/69

Description Logics

I

I


13/69

Description Logics

SHOIN D


14/69

Description Logics

I

I I

I I

I I

I I

I I I

MKB


15/69

Description Logics


16/69

Description Logics

Reasoning tasks:

Knowledgebase satisfiability

Concept satisfiability C KB

IM I

Instance checkingI I IM

Subsumption I I IM


17/69

Autoepistemic DL

K

known to be


18/69

Autoepistemic DL

KB = {Application(XOffice), runsUnder(XOffice,RedHat)}

RedHat WindowsOS XOffice D

D =Application runsUnder.WindowsOS

D =Application KrunsUnder.KWindowsOS

RedHat WindowsOS RedHat

XOffice


19/69

Autoepistemic DL

IW

intersecting the extensions

K KB

KBIM IM


20/69

Circumscriptive DL

(M, F, V)


21/69

Circumscriptive DL


22/69

Circumscriptive DL

KB = { Laptop Computer, Computer Hardware,

Application runsUnder .LinuxOS(XOffice) }

(M = {Hardware, Laptop,Application, LinuxOS}, F = {Computer}).

Laptop

Computer (F

Hardware ComputerF Hardware

Application XOffice


23/69

Circumscriptive DL

KB = { Laptop Computer, Computer Hardware,

Application runsUnder .LinuxOS(XOffice) }

(M = {Hardware, Laptop,Application, LinuxOS}, F = {Computer}).

Laptop Computer

Hardware

Application

LinuxOS XOffice


24/69

Circumscriptive DL

J I J I

J I

J I F

J I M M J I


25/69

Circumscriptive DL


26/69

Modelling Resources in DL forMatchmaking problem


27/69

Resource Classes as DLConcepts


28/69

Resource Classes as DLConcepts


29/69

Resource Classes as DLConcepts in OWA


30/69

Example Scenario


31/69

Example Scenario


32/69

Example Scenario


33/69

Example Ontology


34/69

Matching Resource Descriptionswith DL Inferencing


35/69

DL Inferences for Matching


36/69

Intersection Matching

satisfiability of concept conjunction

IM I I


37/69

Intersection Matching

entailment of non-disjointness

IM I I


38/69

Subsumption Matching

Entailment of Concept Subsumption (Plugin)

IM I I


39/69

Subsumption Matching

Entailment of Concept Subsumption (Subsumes)

IM I I


40/69

Exact Matching


41/69

Matching Inferences

fail intersect subsume plugin exact


42/69

concept contraction andconcept abduction


43/69

Matching Inferences


44/69

Counterintuitive MatchingBehavior due to OWAIntersection Matching and the Open-World Assumption

D = Laptop S = DesktopPC

match(OPC,D, S)


45/69

Counterintuitive MatchingBehavior due to OWACases of Undesired Matching Behavior


46/69

Demand D1 in OWA


47/69

Demand D2 in OWA


48/69

Improved Matching with LocalClosed-World Reasoning


49/69

Forms of Local Closure forMatchmaking


50/69

Local Concept Closure


51/69

Local Concept Closure


52/69

Local Role Closure

If a role r is locally closed, only such pairs of objects should occurin the extension of r for which there is evidence to be in there

supports


53/69

If a role r is locally closed, only such pairs of objects should occurin the extension of r for which there is evidence to be in there


54/69

Matching with Local Closureby Epistemic Operators

K DualScreenGfxCard

K RAIDStorage


55/69

Autoepistemic for ClosingAtomic Concepts


56/69

Autoepistemic for ClosingComplex Concepts


57/69

Autoepistemic for ClosingComplex Concepts


58/69

Autoepistemic Role Closure(whole)


59/69

Autoepistemic Role Closure(partial)

hi i h l l


60/69

Matching with Local Closureby Circumscription

Cl i A i C


61/69

Closing Atomic Concepts(Circumscriptive)

Cl i C l C t


62/69

Closing Complex Concepts(Circumscriptive)

Cl i C l C t


63/69

Closing Complex Concepts(Circumscriptive)

Cl i R l Wh l


64/69

Closing Roles as a Wholewith circumscription

Cl i R l P ti ll ith


65/69

Closing Roles Partially withcircumscription


66/69

Discussion


67/69

Discussion


68/69

Discussion


69/69

Thanks

semantic matchmaking of resources with local

Documents