- Titel
- Matching under Side Conditions in Description Logics
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-789838
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 01-02
- Erstveröffentlichung
- 2001
- DOI
- https://doi.org/10.25368/2022.112
- Abstract (EN)
- Whereas matching in Description Logics is now relatively well investigated, there are only very few formal results on matching under additional side conditions, though these side conditions were already present in the original paper by Borgida and McGuinness introducing matching in DLs. The present report closes this gap for the DL ALN and its sublanguages.
- Freie Schlagwörter (DE)
- Subsumtion, ALN-Konzept, Beschreibungslogik, strukturelle Charakterisierung
- Freie Schlagwörter (EN)
- subsumption, ALN-concept, description logic, structural characterization
- 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-789838
- Veröffentlichungsdatum Qucosa
- 24.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0