RacerPro

GPTKB entity

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