Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
description logic reasoner |
| gptkbp:developedBy |
gptkb:Racer_Systems
|
| gptkbp:firstReleased |
2002
|
| gptkbp:hasFeature |
gptkb:dictionary
query answering ABox reasoning TBox reasoning consistency checking explanation support instance retrieval |
| https://www.w3.org/2000/01/rdf-schema#label |
RacerPro
|
| gptkbp:license |
proprietary
|
| gptkbp:operatingSystem |
cross-platform
|
| gptkbp:supports |
gptkb:SHIQ
gptkb:DAML+OIL gptkb:OWL gptkb:RDFS |
| gptkbp:usedFor |
semantic web applications
ontology reasoning |
| gptkbp:website |
https://www.racer-systems.com/
|
| gptkbp:writtenBy |
gptkb:Common_Lisp
|
| gptkbp:bfsParent |
gptkb:OWL_DL
gptkb:OWL_reasoning |
| gptkbp:bfsLayer |
6
|