LATPub390

PublikationenPublications

• Nach AutorBy Author
  • Carsten LutzCarsten Lutz
  • Dirk WaltherDirk Walther
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

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

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