- Titel
- Rewriting Concepts Using Terminologies
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788886
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 99-06
- Erstveröffentlichung
- 1999
- DOI
- https://doi.org/10.25368/2022.92
- Abstract (EN)
- 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 FL₀, which provides us with conjunction and value restrictions, we show that the decision problem induced by the minimal rewriting problem is NP-complete.
- Freie Schlagwörter (DE)
- Inferenzproblem, definierte Konzepte, Datenverarbeitung, Terminologie
- Freie Schlagwörter (EN)
- inference problem, defined concepts, computing, terminology
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788886
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0