Rewriting Concepts using Terminologies

Franz BaaderFranz Baader, R. MolitorR. Molitor

Datei:BaaderMolitor-LTCS-99-06.ps.gz

Download

Franz Baader, R. Molitor
Rewriting Concepts using Terminologies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-06, 1999. LTCS-Report

Details
Bibtex

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