The Logical Difference for ELHr-Terminologies using Hypergraphs

Michel LudwigMichel Ludwig, Dirk WaltherDirk Walther

DOI Link

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

Details
Bibtex

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},
}