
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 2014-12-192075 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