- www.ifis.uni-luebeck.de
- 3
- 26
- 51
Racer provides implementations of standard reasoning problems for T-boxes and A-boxes. In addition, some non-standard inference services are provided, such as, e.g., logical abduction. Racer also provides the powerful and semantically well-defined..
Relevance: 13.975216