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 Dec 19, 20142067 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
Chapter list
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