Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
Haarslev, Volker ; Möller, Ralf
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/113/ |
|---|---|
| Document type: | TechReport |
| Series: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Volume Number: | 288 |
| Language: | English |
| Year of creation: | 2000 |
| Date of publication: | 03.12.2009 |
| Keywords from authority file SWD (German): | Angewandte Informatik , Informatik , Lineare Algebra |
| Free keywords (German): | ALCNHR+ |
| Free keywords (English): | calcuslus, ALCNHR+ |
| Dewey Decimal Classification: | Computer science |
| BK - classification: | 54.00 , 54.89 |
Abstract in English:
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+. Prominent language features of ALCNHR+ are number restrictions, role hierarchies, transitively closed roles, and generalized concept inclusions. The ABox description logic system RACE is based on the calculus for ALCNHR+. A revised version of this report is published in: Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Fausto Giunchiglia and Bart Selman (eds), Breckenridge, Colorado, USA, 12-15 April 2000.
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.