The Logical Difference for ℰℒℋ
Michel Ludwig, Dirk Walther · Frontiers in artificial intelligence and applications · 2014
We propose a novel approach for detecting semantic differences between ontologies. In this paper we investigate the logical difference for ℰℒ-terminologies extended with role inclusions, and domain & 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.