Logical Difference and Module Extraction with CEX and MEX

From International Center for Computational Logic

Toggle side column

Logical Difference and Module Extraction with CEX and MEX

Boris KonevBoris Konev,  Carsten LutzCarsten Lutz,  Dirk WaltherDirk Walther,  Frank Wolte rFrank Wolte r
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolte r
Logical Difference and Module Extraction with CEX and MEX
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
  • KurzfassungAbstract
    In this paper, we study the module extraction and logical difference problems for acyclic EL-terminologies. We show that both problems are tractable, present prototype implementations, and evaluate performance on a series of examples. In particular, our implementations can handle large real-world terminologies such as SNOMED-CT.
  • Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{ KoLuWaWo-DL08,
  author = {Boris {Konev} and Carsten {Lutz} and Dirk {Walther} and Frank Wolte\ {r}},
  booktitle = {Proceedings of the 21st International Workshop on Description Lo\ \ gics ({DL2008})},
  series = {CEUR-WS},
  title = {Logical Difference and Module Extraction with CEX and MEX},
  volume = {353},
  year = {2008},
}