- Titel
- Matching Concept Descriptions with Existential Restrictions
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788892
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 99-07
- Erstveröffentlichung
- 1999
- DOI
- https://doi.org/10.25368/2022.93
- Abstract (EN)
- Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of description logics, originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. Previous work has concentrated on (sub-)languages of CLASSIC, which in particular do not allow for existential restrictions. In this work, we present sound and complete decision algorithms for the solvability of matching problems and for computing sets of matchers for matching problems in description logics with existential restrictions.
- Freie Schlagwörter (DE)
- Algorithmen, Matching-Problem, Beschreibungslogik, existenzielle Beschränkung
- Freie Schlagwörter (EN)
- algorithms, matching problem, description logic, existential restriction
- 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-788892
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0