- AutorIn
- Franz Baader RWTH Aachen
- Paliath NarendranState University of New York at Albany
- Titel
- Unification of Concept Terms in Description Logics
- Untertitel
- Revised Version
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788275
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 98-07
- Erstveröffentlichung
- 1998
- DOI
- https://doi.org/10.25368/2022.83
- Abstract (EN)
- Unification of concept terms is a new kind of inference problem for Description Logics, which extends the equivalence problem by allowing to replace certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language.
- This revised version of LTCS-Report 97-02 provides a stronger complexity result in Section 6. An abridged version will appear in Proc. ECAI'98 .
- Freie Schlagwörter (DE)
- Vereinheitlichung, Beschreibungslogik, Inferenzproblem, Anwendung
- Freie Schlagwörter (EN)
- Unification, Description Logics, inference problem, application
- 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-788275
- Veröffentlichungsdatum Qucosa
- 19.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
- CC BY 4.0