Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
T
taxonomy()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function taxonomy (taxonomy &optional tbox)
taxonomy(Object)
- Method in class com.racersystems.jracer.
RacerStubs
taxonomy$()
- Method in class com.racersystems.jracer.
RacerStubs
taxonomy$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxClassifiedMP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-classified? (tbox-classified? &optional tbox-name)
tboxClassifiedMP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxClassifiedP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function tbox-classified-p (tbox-classified-p &optional tbox)
tboxClassifiedP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxCoherentMP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-coherent? (tbox-coherent? &optional tbox-name)
tboxCoherentMP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxCoherentP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function tbox-coherent-p (tbox-coherent-p &optional tbox)
tboxCoherentP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxCyclicMP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-cyclic? (tbox-cyclic? &optional tbox-name)
tboxCyclicMP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxCyclicP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function tbox-cyclic-p (tbox-cyclic-p &optional tbox)
tboxCyclicP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxPreparedMP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-prepared? (tbox-prepared? &optional tbox-name)
tboxPreparedMP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxPreparedP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function tbox-prepared-p (tbox-prepared-p &optional tbox)
tboxPreparedP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieve1M(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-retrieve1 (tbox-retrieve1 query res-args &key execute-p dont-add-abox-duplicates-p remove-duplicates-p two-phase-processing-p deliver-phase-two-warning-tokens-p deliver-kb-has-changed-warning-tokens-p add-rule-consequences-p continuation-based-instance-retrieval-p told-information-reasoning-p final-consistency-checking-p runtime-consistency-checking-p verbose-p dont-show-variables dont-show-head-projection-operators-p dont-show-lambdas-p how-many only-new-tuples-p timeout proactive-tuple-computation-p tuple-at-a-time-p use-individual-synonyms-p check-abox-consistency-p ensure-tbox-classification-p initial-abox-mirroring-p initial-role-assertion-mirroring-p classify-concepts-in-instance-assertions-p exclude-permutations-p record-explanations-p parser-class rewrite-defined-concepts-p group-by-ops bind-specials-p original-query rule-con-pattern new-ind-ops premise generate-code-p optimize-p rewrite-semantically-p rewrite-to-dnf-p report-inconsistent-queries-p report-tautological-queries-p use-repository-p put-into-repository-p id dont-check-id-p parser result-vois tbox package create-tbox-if-not-found-p substrate)
tboxRetrieve1M(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieve1M$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieve1M$(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieveM(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro tbox-retrieve (tbox-retrieve res-args query &key execute-p dont-add-abox-duplicates-p remove-duplicates-p two-phase-processing-p deliver-phase-two-warning-tokens-p deliver-kb-has-changed-warning-tokens-p add-rule-consequences-p continuation-based-instance-retrieval-p told-information-reasoning-p final-consistency-checking-p runtime-consistency-checking-p verbose-p dont-show-variables dont-show-head-projection-operators-p dont-show-lambdas-p how-many only-new-tuples-p timeout proactive-tuple-computation-p tuple-at-a-time-p use-individual-synonyms-p check-abox-consistency-p ensure-tbox-classification-p initial-abox-mirroring-p initial-role-assertion-mirroring-p classify-concepts-in-instance-assertions-p exclude-permutations-p record-explanations-p parser-class rewrite-defined-concepts-p group-by-ops bind-specials-p original-query rule-con-pattern new-ind-ops premise generate-code-p optimize-p rewrite-semantically-p rewrite-to-dnf-p report-inconsistent-queries-p report-tautological-queries-p use-repository-p put-into-repository-p id dont-check-id-p parser result-vois tbox package create-tbox-if-not-found-p substrate)
tboxRetrieveM(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieveM$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
tboxRetrieveM$(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
terminatedQueries()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function terminated-queries (terminated-queries &key abox type-of-substrate)
terminatedQueries(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
terminatedQueries$()
- Method in class com.racersystems.jracer.
RacerStubs
terminatedQueries$(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
terminatedRules()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function terminated-rules (terminated-rules &key abox type-of-substrate)
terminatedRules(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
terminatedRules$()
- Method in class com.racersystems.jracer.
RacerStubs
terminatedRules$(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
timenetAnswerQuery(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function timenet-answer-query (timenet-answer-query query &key abox)
timenetAnswerQuery(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
timenetAnswerQuery$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
timenetAnswerQuery$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
timenetRetrieveM(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro timenet-retrieve (timenet-retrieve query &key abox)
timenetRetrieveM(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
timenetRetrieveM$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
timenetRetrieveM$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
toldValue(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function told-value (told-value object &optional abox)
toldValue(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
toldValue$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
toldValue$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
toString()
- Method in class com.racersystems.jracer.
RacerList
toString()
- Method in class com.racersystems.jracer.
RacerResult
transferFile(String, String)
- Method in class com.racersystems.jracer.
RacerClient
transitiveM(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro transitive (transitive rolename &optional tbox)
transitiveM(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
transitiveM$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
transitiveM$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
transitiveMP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Macro transitive? (transitive? role-term &optional tbox-name)
transitiveMP(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
transitiveP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function transitive-p (transitive-p role-term &optional tbox)
transitiveP(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
transmitFile(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function transmit-file (transmit-file extension n-bytes)
transmitFile$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreGraphs()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function triple-store-graphs (triple-store-graphs &key db directory)
tripleStoreGraphs(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreGraphs$()
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreGraphs$(Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreOpenP()
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function triple-store-open-p (triple-store-open-p &optional db-name)
tripleStoreOpenP(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreReadFile(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function triple-store-read-file (triple-store-read-file filename &key db init verbose if-exists index-p graph data-version-level)
tripleStoreReadFile(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreReadFile$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
tripleStoreReadFile$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X