The Logical Difference for EL: from Terminologies towards TBoxes

From International Center for Computational Logic

Toggle side column

The Logical Difference for EL: from Terminologies towards TBoxes

Shasha FengShasha Feng,  Michel LudwigMichel Ludwig,  Dirk WaltherDirk Walther
The Logical Difference for EL: from Terminologies towards TBoxes


Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: from Terminologies towards TBoxes
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), CEUR workshop proceedings, to appear
  • KurzfassungAbstract
    In this paper we are concerned with the logical difference problem between ontologies. The logical difference is the set of subsumption queries that follow from a first ontology but not from a second one. We revisit our solution to logical difference problem for EL-terminologies based on finding simulations between hypergraph representations of the terminologies, and we investigate a possible extension of the method to general EL-TBoxes.
  • Bemerkung: Note: To appear
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ FeLuWa-IWOST-15,
  author = {Shasha {Feng} and Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the 1st International Workshop on Semantic Technologies (IWOST)},
  note = {To appear},
  series = {CEUR workshop proceedings},
  title = {The Logical Difference for EL: from Terminologies towards TBoxes},
  year = {2015},
}