
0.25
0.5
0.75
1.25
1.5
1.75
2
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