RACER User' Guide and Reference Manual - Version 1.6.1 (2001)
Cached
Download Links
- [kogs-www.informatik.uni-hamburg.de]
- [kogs-www.informatik.uni-hamburg.de]
- [users.encs.concordia.ca]
- [www.cs.concordia.ca]
- DBLP
Other Repositories/Bibliography
| Citations: | 19 - 1 self |
BibTeX
@MISC{Haarslev01raceruser',
author = {Volker Haarslev and Ralf Möller},
title = {RACER User' Guide and Reference Manual - Version 1.6.1},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 IntroducTkP 1 2 Obtaining and Running RACER 1 2.1 System Installation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2.2 SamFh Session . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2.3 NamFh Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3 RACER Knowledge Bases 6 3.1 Concept Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 ConceptAxiom and Termh[H(r, . . . . . . . . . . . . . . . . . . . . . . . 8 3.3 Role Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.4 ConcreteDomret . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.5 ConcreteDomre Attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.6 ABox Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.7 Inference Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.8 Retractio
Citations
| 48 | Expressive ABox reasoning with number restrictions, role hierachies, and transitively closed roles - Haarslev, Möller - 2000 |
| 30 | A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08 - HORROCKS, SATTLER, et al. - 1999 |
| 5 | Practical reasoning for description logics with functional restrictions, inverse and transitive roles, and role hierarchies - Horrocks, Sattler, et al. - 1999 |
