0.25
0.5
0.75
1.25
1.5
1.75
2
Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys
Published on Nov 27, 201981 Views
Related categories
Chapter list
Decentralized Reasoning on a Network of Aligned Ontologies with Link Keys00:00
Outline - 100:02
Outline - 200:16
Ontology alignment example with link keys00:28
Network description00:57
Outline - 301:52
Decentralized approach02:01
Existing approaches03:03
Principle of distributed tableau algorithms04:06
Outline - 404:37
Syntax04:39
Alignment semantics05:23
Consistency checking06:09
Entailment reduction to consistency07:05
Outline - 508:04
Propagation of individual equalities08:28
Propagation of concept unsatisfiability09:22
Propagation over the network09:30
Example: use of the algorithm10:12
Theorem 1 : reducing global consistency to local consistencies11:55
Theorem 2 : Complexity12:48
Outline - 612:56
Implementation13:00
Evaluation13:33
Outline - 714:00
Conclusion 14:18
Future work14:56