CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL

Boris KonevBoris Konev,  Carsten LutzCarsten Lutz,  Dirk WaltherDirk Walther,  Frank WolterFrank Wolter
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
  • KurzfassungAbstract
    We consider a logical diff operator and semantic module extraction from ontologies. In recent work, we have shown that, for the fragment EL of OWL, these problems can be solved in polynomial time. In this paper, we evaluate our algorithms by experimenting with the prototype implementations CEX and MEX on real-worlds ontologies such as SNOMED. The experiments show the practicability our approach and highlight the benefits of a strictly semantic approach: the diff operation is very fine-grained and the extracted modules are smaller than the ones generated by related approaches.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ KonevEtAl-OWLED08DC,
  author = {Boris {Konev} and Carsten {Lutz} and Dirk {Walther} and Frank {Wolter}},
  booktitle = {In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions},
  editor = {Kendall {Clark} and Peter F. {Patel-Schneider}},
  title = {CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL},
  year = {2008},
}