Logical Difference and Module Extraction with CEX and MEX

Boris KonevBoris Konev, Carsten LutzCarsten Lutz, Dirk WaltherDirk Walther, Frank Wolte rFrank Wolte r

Download

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

Details
Bibtex

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: AutomatentheorieAutomata Theory

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