Computing Least Common Subsumers in Expressive Description Logics
| URN | urn:nbn:de:gbv:18-228-7-1120 |
|---|---|
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/112/ |
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 286 |
| Sprache: | Englisch |
| Erstellungsjahr: | 1999 |
| Publikationsdatum: | 03.12.2009 |
| SWD-Schlagwörter: | Angewandte Informatik , Informatik |
| Freie Schlagwörter (Deutsch): | künstliche Intelligenz |
| Freie Schlagwörter (Englisch): | artificial intellgence |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.00 , 54.89 , 54.72 |
Kurzfassung auf Englisch:
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service can be used for the approximation of concept disjunctions in description logics, for the “bottom-up” construction of knowledge bases, and for specific kinds of information retrieval. So far, the least common subsumer operator has been restricted to description logics which do not contain both existential restrictions and number restrictions. In this article, we present a least common subsumer operator for the expressive description logics ALENR and ALEQ which both include these operators.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.