Statements (9)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:country |
gptkb:Germany
|
| gptkbp:focus |
description logic reasoners
|
| gptkbp:industry |
gptkb:software
|
| gptkbp:product |
gptkb:Racer
gptkb:RacerPro |
| gptkbp:bfsParent |
gptkb:RacerPro
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Racer Systems
|