The Description Logic ALCNHR+ Extended with Concrete Domains
Haarslev, Volker ; Möller, Ralf ; Wessel, Michael
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/115/ |
|---|---|
| Document type: | TechReport |
| Series: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Volume Number: | 290 |
| Language: | English |
| Year of creation: | 2000 |
| Date of publication: | 08.12.2009 |
| Keywords from authority file SWD (German): | Angewandte Informatik , Informatik |
| Free keywords (German): | ALCNHR+ |
| Free keywords (English): | ALCNHR+ |
| Dewey Decimal Classification: | Computer science |
| BK - classification: | 54.00 , 54.89 |
Abstract in English:
The paper introduces the description logic ALCNHR+(D)-. Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called predicate exists restriction concept constructor is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.
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.