The Logical Difference for EL: from Terminologies towards TBoxes

Shasha FengShasha Feng, Michel LudwigMichel Ludwig, Dirk WaltherDirk Walther

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

Details
Bibtex

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