Limitations

Some of the features defined by the candidate standard OWL querying language OwlQl are not yet supported by RacerManager:

  • RacerManager can start RACER instances only on the locale machine. Although it cannot start a RACER instance on a remote machine it can initialise(configure it and preload required KBs) and manage it.
  • It only supports queries with a single KB (knowledge base) reference. Queries with multiple KB references are not yet supported.
  • Queries without a certain KB reference are not supported. I.e. a variable as KB reference is not supported.
  • Only must binds variables are supported. May bind and dont bind variables are not yet supported.
  • Current implementation only supports queries for ABox retrieval.
  • Proofs for the reasoning results are not supported.