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
M
main(String[])
- Static method in class com.racersystems.jracer.
RacerClient
makeAbductionRuleFromAboxes(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function make-abduction-rule-from-aboxes (make-abduction-rule-from-aboxes precond-abox postcond-abox for-abox &key forward-rule-p backward-rule-p known-correspondences common-concept-assertions common-role-assertions common-same-as-assertions common-different-from-assertions common-as-strict-atoms-p injective-variables-p forward-rule-consequence-p)
makeAbductionRuleFromAboxes(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeAbductionRuleFromAboxes$(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
makeAbductionRuleFromAboxes$(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeBackwardRuleFromAboxes(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function make-backward-rule-from-aboxes (make-backward-rule-from-aboxes precond-abox postcond-abox for-abox &key known-correspondences common-concept-assertions common-role-assertions common-same-as-assertions common-different-from-assertions common-as-strict-atoms-p injective-variables-p forward-rule-consequence-p)
makeBackwardRuleFromAboxes(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeBackwardRuleFromAboxes$(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
makeBackwardRuleFromAboxes$(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeForwardRuleFromAboxes(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function make-forward-rule-from-aboxes (make-forward-rule-from-aboxes precond-abox postcond-abox for-abox &key execute-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 substrate abox create-abox-if-not-found-p package type-of-substrate prepare-now-p known-correspondences common-concept-assertions common-role-assertions common-same-as-assertions common-different-from-assertions common-as-strict-atoms-p injective-variables-p forward-rule-consequence-p)
makeForwardRuleFromAboxes(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeForwardRuleFromAboxes$(Object, Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
makeForwardRuleFromAboxes$(Object, Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makePluginFromFaslFile(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function make-plugin-from-fasl-file (make-plugin-from-fasl-file fn2 &key plugin-name rand type extension text-description short-description id patch-name for-version for-build platform)
makePluginFromFaslFile(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makePluginFromFaslFile$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
makePluginFromFaslFile$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeQueryFromAbox(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function make-query-from-abox (make-query-from-abox abox-or-name &key known-correspondences common-concept-assertions common-role-assertions common-same-as-assertions common-different-from-assertions common-as-strict-atoms-p injective-variables-p forward-rule-consequence-p)
makeQueryFromAbox(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
makeQueryFromAbox$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
makeQueryFromAbox$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
materializeInferences(Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function materialize-inferences (materialize-inferences kb-name &key db directory index-p abox-told-only-p abox tbox if-exists if-does-not-exist all-different-p same-individual-as role-fillers told-datatype-fillers subgraph-markers rename-individuals in-case-individuals-are-renamed-keep-originals data-version-level)
materializeInferences(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
materializeInferences$(Object)
- Method in class com.racersystems.jracer.
RacerStubs
materializeInferences$(Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
mirror(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function mirror (mirror url-spec1 url-or-filename)
mirror$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
mostSpecificInstantiators(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function most-specific-instantiators (most-specific-instantiators individual-name abox)
mostSpecificInstantiators$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
moveRules(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function move-rules (move-rules from-abox to-abox &key type-of-substrate)
moveRules(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
moveRules$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
moveRules$(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
mscK(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
Racer Function msc-k (msc-k individual k &key include-direct-types abox name &rest (args))
mscK(Object, Object, Object...)
- Method in class com.racersystems.jracer.
RacerStubs
mscK$(Object, Object)
- Method in class com.racersystems.jracer.
RacerStubs
mscK$(Object, 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