video thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs

Published on Feb 4, 20252070 Views

In this paper we define the notion of an axiom dependency hypergraph, which explicitly represents how axioms are included into a module by the algorithm for computing locality-based modules. A localit

Related categories

Presentation

Fast Modularization and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs00:00
Introduction00:21
Preliminaries – Modules - 101:39
Preliminaries – Modules - 202:02
Preliminaries – Modules - 302:58
Preliminaries – Modules - 403:03
Preliminaries – Atomic decomposition - 103:46
Preliminaries – Atomic decomposition - 203:58
Preliminaries – Atomic decomposition - 304:11
Axiom Dependency Hypergraphs - 104:57
Axiom Dependency Hypergraphs - 205:45
Axiom Dependency Hypergraphs - 306:16
Axiom Dependency Hypergraphs - 406:50
Axiom Dependency Hypergraphs - 507:03
Axiom Dependency Hypergraphs - 607:21
Axiom Dependency Hypergraphs - 707:47
Axiom Dependency Hypergraphs - 808:11
Axiom Dependency Hypergraphs - 908:27
Axiom Dependency Hypergraphs - 1009:23
Axiom Dependency Hypergraphs - 1109:49
Evaluation - 110:17
Evaluation - 211:01
Evaluation - 311:53
Evaluation - 413:00
Acknowledgements14:06