Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs

Francisco Martin-RecuerdaFrancisco Martin-Recuerda,  Dirk WaltherDirk Walther
Francisco Martin-Recuerda, Dirk Walther
Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs
In Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig Knoblock and Denny Vrandecic and Paul Groth and Natasha Noy and Krzysztof Janowicz and Carole Goble, eds., Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II, volume 8797 of Lecture Notes in Computer Science, 49-64, 2014. Springer
  • KurzfassungAbstract
    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 locality-based module of an ontology corresponds to a set of connected nodes in the hypergraph, and atoms of an ontology to strongly connected components. Collapsing the strongly connected components into single nodes yields a condensed hypergraph that comprises a representation of the atomic decomposition of the ontology. To speed up the condensation of the hypergraph, we first reduce its size by collapsing the strongly connected components of its graph fragment employing a linear time graph algorithm. This approach helps to significantly reduce the time needed for computing the atomic decomposition of an ontology. We provide an experimental evaluation for computing the atomic decomposition of large biomedical ontologies. We also demonstrate a significant improvement in the time needed to extract locality-based modules from an axiom dependency hypergraph and its condensed version.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ MaWa-ISWC14,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II},
  editor = {Peter {Mika} and Tania {Tudorache} and Abraham {Bernstein} and Chris {Welty} and Craig {Knoblock} and Denny {Vrandecic} and Paul {Groth} and Natasha {Noy} and Krzysztof {Janowicz} and Carole {Goble}},
  pages = {49--64},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs},
  volume = {8797},
  year = {2014},
}