RACE User's Guide and Reference Manual Version 1.1
Volker, Haarslev ; Ralf, Moeller ; Turhan, Anni-Yasmin
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/114/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Mitteilungen des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 289 |
| Sprache: | Englisch |
| Erstellungsjahr: | 1999 |
| Publikationsdatum: | 08.12.2009 |
| SWD-Schlagwörter: | Angewandte Informatik , Informatik |
| Freie Schlagwörter (Deutsch): | RACE System |
| Freie Schlagwörter (Englisch): | RACE System |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.00 , 54.89 |
Kurzfassung auf Englisch:
The RACE system is a knowledge representation system that implements a highly optimized tableaux calculus for an expressive description logic. It offers reasoning services for multiple TBoxes and for multiple ABoxes as well. The system implements the description logic ALCNHR+. This is the basic logic ALC augmented with number restrictions, role hierarchies and transitive roles. RACE supports the specification of general terminological axioms. A TBox may contain general concept inclusions (GCIs), which state the subsumption relation between two concept terms. Multiple definitions or even cyclic definitions of concepts can be handled by RACE.
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.