The Concept Difference for EL-Terminologies using Hypergraphs

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

Toggle side column

The Concept Difference for EL-Terminologies using Hypergraphs

Andreas EckeAndreas Ecke,  Michel LudwigMichel Ludwig,  Dirk WaltherDirk Walther
Andreas Ecke, Michel Ludwig, Dirk Walther
The Concept Difference for EL-Terminologies using Hypergraphs
Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013), volume 1008 of CEUR-WS, 2013
  • KurzfassungAbstract
    Ontologies are used to represent and share knowledge. Numerous ontologies have been developed so far, especially in knowledge intensive areas such as the biomedical domain. As the size of ontologies increases, their continued development and maintenance is becoming more challenging as well. Detecting and representing semantic differences between versions of ontologies is an important task for which automated tool support is needed. In this paper we investigate the logical difference problem using a hypergraph representation of EL-terminologies. We focus solely on the concept difference wrt. a signature. For computing this difference it suffices to check the existence of simulations between hypergraphs whereas previous approaches required a combination of different methods.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ EcLuWa-DChanges2013,
  author = {Andreas {Ecke} and Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization ({DChanges 2013})},
  series = {CEUR-WS},
  title = {The Concept Difference for $\mathcal{EL}$-Terminologies using Hypergraphs},
  venue = {Florence, Italy},
  volume = {1008},
  year = {2013},
}