The Logical Difference for ELHr-Terminologies using Hypergraphs

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

Toggle side column

The Logical Difference for ELHr-Terminologies using Hypergraphs

Michel LudwigMichel Ludwig,  Dirk WaltherDirk Walther
Michel Ludwig, Dirk Walther
The Logical Difference for ELHr-Terminologies using Hypergraphs
In Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan, eds., Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, 555-560, 2014. IOS Press
  • KurzfassungAbstract
    We propose a novel approach for detecting semantic diffferences between ontologies. In this paper we investigate the logical difference for EL-terminologies extended with role inclusions, domain and range restrictions of roles. Three types of queries are covered: concept subsumption, instance and conjunctive queries. Using a hypergraph representation of such ontologies, we show that logical differences can be detected by checking for the existence of simulations between the corresponding hypergraphs. A minor adaptation of the simulation notions allows us to capture different types of queries. We also evaluate our hypergraph approach by applying a prototype implementation on large ontologies.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ LuWa-ECAI-2014,
  author = {Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014)},
  doi = {http://dx.doi.org/10.3233/978-1-61499-419-0-555},
  editor = {Torsten {Schaub} and Gerhard {Friedrich} and Barry {O'Sullivan}},
  pages = {555--560},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {The Logical Difference for ELHr-Terminologies using Hypergraphs},
  volume = {263},
  year = {2014},
}