@inproceedings{813b74843e514ebf8ec1571d8ab44942,
title = "On computing minimal E L-subsumption modules",
abstract = "In the paper we study algorithms for computing minimal modules that are minimal w.r.t. set inclusion and that preserve the entailment of all E L-subsumptions over a signature of interest. We follow the black-box approach for finding one or all justifications by replacing the entailment tests with logical difference checks, obtaining modules that preserve not only a given consequence but all entailments over a signature. Such minimal modules can serve to improve our understanding of the internal structure of large and complex ontologies. Additionally, several optimisations to speed up the computation of minimal modules are investigated. We present an experimental evaluation of an implementation of our algorithms by applying them on the medical ontologies Snomed CT and NCI.",
author = "Jieying Chen and Michel Ludwig and Dirk Walther",
year = "2016",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
editor = "S. Borgo and {de Cesare}, S. and M. Gruninger and F. Loebe and F. Neuhaus and T. Veale and G. Guizzardi and M. Lycett and A. Barton and O. Kutz and L. Bozzato and M. Homola and J.-R. Bourguet and M.M. Hedblom and T.R. Besold and F. Gailly and C. Partridge and O. Pastor and T. Mossakowski and {Del Vescovo}, C.",
booktitle = "JOWO 2016 - Proceedings of the Joint Ontology Workshops 2016, Episode 2: The French Summer of Ontology - co-located with the 9th International Conference on Formal Ontology in Information Systems, FOIS 2016",
note = "2016 Joint Ontology Workshops 2016, Episode 2: The French Summer of Ontology, JOWO 2016 ; Conference date: 06-07-2016 Through 09-07-2016",
}