Rewriting Concepts using Terminologies

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

Rewriting Concepts using Terminologies

Franz BaaderFranz Baader,  R. MolitorR. Molitor
Franz Baader, R. Molitor
Rewriting Concepts using Terminologies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-06, 1999. LTCS-Report
  • KurzfassungAbstract
    In this work we consider the inference problem of computing (minimal) rewritings of concept descriptions using defined concepts from a terminology. We introduce a general framework for this problem. For the small description logic FLo, which provides us with conjunction and value restrictions, we show that the decision problem induced by the minimal rewriting problem is NP-complete.
  • Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BaaderMolitor-LTCS-99-06,
  address = {Germany},
  author = {F. {Baader} and R. {Molitor}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
  number = {LTCS-99-06},
  title = {Rewriting Concepts using Terminologies},
  type = {LTCS-Report},
  year = {1999},
}