Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Â
Semantic matchmaking Local Closed-World Reasoning
1. Khan âSadhâ N. Mostafa
Semantic Matchmaking of
Resources with Local
Closed-World Reasoning
Stephan Grimm Pascal Hitzler
stephan.grimm@fzi.de
hitzler@aifb.uni-karlsruhe.de
16. Description Logics
Reasoning tasks:
⢠Knowledgebase satisfiability
⢠Concept satisfiability
IâM
C
I
KB
â â
⢠Instance checking
I
â
I
I âM
⢠Subsumption
â
I
â
I
IâM
44. Counterintuitive Matching
Behavior due to OWA
Intersection Matching and the Open-World Assumption
â˘
D = Laptop
S = DesktopPC
match(OPC,D, S)
â˘
â˛
â˘
â˛
52. Local Role Closure
If a role r is locally closed, only such pairs of objects should occur
in the extension of r for which there is evidence to be in there
â˘
â˘
â˘
â˘
supports
53. If a role r is locally closed, only such pairs of objects should occur
in the extension of r for which there is evidence to be in there
â˘
â˘
â˘
54. Matching with Local Closure
by Epistemic Operators
â˘
â˘
â˘
K DualScreenGfxCard
K RAIDStorage