|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.isi.powerloom.persistence.Persistence
public class Persistence
Constructor Summary | |
---|---|
Persistence()
|
Method Summary | |
---|---|
static Context |
changeMicrotheory(Stella_Object mt)
Change the current context to microtheory mt , or return
the current context if mt is not a defined microtheory in Cyc. |
static void |
closePersistentModule(Module module)
|
static Context |
cmt(Cons mt)
Change the current context to microtheory mt , or return
the current microtheory if no name was supplied. |
static Context |
cmtEvaluatorWrapper(Cons arguments)
|
static void |
connectToCycBackend(java.lang.String host,
int retries)
Connect to the FI interface on the Cyc knowledge server on host . |
static void |
connectToCycBackendEvaluatorWrapper(Cons arguments)
|
static NamedDescription |
createRelationDescription(Symbol name,
Keyword kind,
List iovariablenames,
List iovariabletypes,
boolean variablearityP)
|
static CycStore |
currentCycStore()
|
static boolean |
cycCollectionP(java.lang.String name,
CycStore store)
|
static boolean |
cycFunctionP(java.lang.String name,
CycStore store)
|
static java.lang.String |
cyclifyString(java.lang.String tree,
boolean safeP)
|
static java.lang.String |
cyclifyTree(Stella_Object tree,
boolean safeP)
|
static java.lang.String |
cycMicrotheoryObject(java.lang.String cyclifiedmt)
|
static Module |
cycModule(java.lang.String mt)
|
static boolean |
cycPlainInstanceP(java.lang.String name,
CycStore store)
|
static boolean |
cycRelationP(java.lang.String name,
CycStore store)
|
static Keyword |
cycTermCategory(java.lang.String name,
CycStore store)
|
static void |
defineCycToPowerloomMapping(java.lang.String cycname,
Symbol plname)
|
static void |
disableCycRules()
|
static void |
enableCycRules()
|
static Stella_Object |
evaluateCycSublispExpression(java.lang.String expression,
CycStore store)
|
static java.lang.String |
getCycKbStateDescriptor()
|
static Stella_Object |
helpEvaluateCycSublispExpression(java.lang.String expression,
CycStore store)
|
static boolean |
ignorePersistentStoreP()
Return TRUE if we shouldn't page in anything from the persistent store associated with the current module. |
static void |
main(java.lang.String[] argv001)
|
static Module |
openCycStore(java.lang.String host,
int port,
Module module)
|
static boolean |
persistentModuleP(Module module)
|
static void |
printCycKbStateDescriptor(OutputStream stream)
|
static void |
synchronizeWithCyc()
|
static boolean |
testCstorePredicateExpressionP(java.lang.String expression,
CycStore store)
|
static boolean |
testCycSublispExpressionP(java.lang.String expression,
CycStore store)
|
static Stella_Object |
translateCycNamesToPowerloom(Stella_Object tree)
|
static Symbol |
translateCycNameToPowerloom(java.lang.String cycname)
|
static Cons |
translateCycSentence(Cons sentence)
|
static Stella_Object |
translatePowerloomNamesToCyc(Stella_Object tree)
|
static java.lang.String |
translatePowerloomNameToCyc(Stella_Object plname)
|
static void |
uploadCycSublispFile(java.lang.String file,
CycStore store)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static Symbol SYM_LOGIC_OBJECT_STORE
public static Surrogate SGT_PERSISTENCE_PERSISTENT_STORE
public static final StellaSpecialVariable $IGNOREPERSISTENTSTOREp$
public static Keyword KWD_ERROR
public static Keyword KWD_EXTENSIONAL_ASSERTION
public static Keyword KWD_CLASS
public static Surrogate SGT_PL_KERNEL_KB_CLASS
public static Keyword KWD_FUNCTION
public static Surrogate SGT_PL_KERNEL_KB_FUNCTION
public static Keyword KWD_RELATION
public static Surrogate SGT_PL_KERNEL_KB_RELATION
public static Surrogate SGT_PL_KERNEL_KB_VARIABLE_ARITY
public static Symbol SYM_STELLA_BADp
public static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENT_STORE
public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
public static java.lang.String $CYC_STORE_DEFAULT_BACKEND_HOST$
public static int $CYC_STORE_DEFAULT_FI_PORT$
public static java.lang.String $CYC_STORE_DEFAULT_INIT_FILE$
public static Surrogate SGT_PERSISTENCE_CYC_STORE
public static Symbol SYM_STELLA_HOST
public static Symbol SYM_PERSISTENCE_FI_PORT
public static Symbol SYM_PERSISTENCE_FI_INIT_FILE
public static Symbol SYM_PERSISTENCE_FI_COMMAND_STREAM
public static Symbol SYM_PERSISTENCE_FI_RESULT_STREAM
public static Symbol SYM_PERSISTENCE_CURRENT_MICROTHEORY
public static Symbol SYM_PERSISTENCE_MICROTHEORY_TABLE
public static java.lang.String $CYC_STORE_SUPPORT_LOAD_TIMESTAMP$
public static Keyword KWD_CLOSED
public static Symbol SYM_STELLA_NULL
public static Symbol SYM_STELLA_NIL
public static Symbol SYM_STELLA_TRUE
public static Symbol SYM_STELLA_FALSE
public static Module $CYC_MODULE$
public static Keyword KWD_USES
public static Keyword KWD_CASE_SENSITIVEp
public static Surrogate SGT_STELLA_CONS
public static Keyword KWD_COLLECTION
public static Keyword KWD_INSTANCE
public static StringHashTable $CYC_TO_POWERLOOM_NAME_TABLE$
public static HashTable $POWERLOOM_TO_CYC_NAME_TABLE$
public static Symbol SYM_STELLA_THING
public static Symbol SYM_PL_KERNEL_KB_SUBSET_OF
public static Symbol SYM_PL_KERNEL_KB_INSTANCE_OF
public static Symbol SYM_PL_KERNEL_KB_IST
public static Symbol SYM_PL_KERNEL_KB_DOCUMENTATION
public static Symbol SYM_STELLA_STRING
public static Symbol SYM_STELLA_INTEGER
public static Symbol SYM_STELLA_NUMBER
public static Symbol SYM_STELLA_AND
public static Symbol SYM_STELLA_OR
public static Symbol SYM_STELLA_NOT
public static Symbol SYM_STELLA_eg
public static Symbol SYM_STELLA_FORALL
public static Symbol SYM_STELLA_EXISTS
public static Symbol SYM_STELLA_e
public static Symbol SYM_LOGIC_FAIL
public static Symbol SYM_LOGIC_PROPOSITION
public static Symbol SYM_LOGIC_SETOFALL
public static Symbol SYM_LOGIC_KAPPA
public static Symbol SYM_PL_KERNEL_KB_LISTOF
public static Symbol SYM_PL_KERNEL_KB_SETOF
public static Symbol SYM_PL_KERNEL_KB_DISJOINT
public static Symbol SYM_PL_KERNEL_KB_CLOSED
public static Symbol SYM_PL_KERNEL_KB_CARDINALITY
public static Symbol SYM_PL_KERNEL_KB_g
public static Symbol SYM_PL_KERNEL_KB_ge
public static Symbol SYM_PL_KERNEL_KB_i
public static Symbol SYM_PL_KERNEL_KB__
public static Symbol SYM_PL_KERNEL_KB_$
public static Symbol SYM_PL_KERNEL_KB_s
public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
public static Surrogate SGT_LOGIC_SKOLEM
public static Surrogate SGT_LOGIC_DESCRIPTION
public static Surrogate SGT_LOGIC_LOGIC_OBJECT
public static Surrogate SGT_STELLA_THING
public static Surrogate SGT_LOGIC_PROPOSITION
public static Surrogate SGT_PL_KERNEL_KB_SUBSET_OF
public static Keyword KWD_CYC_STORE
public static Keyword KWD_CYC_STORE_BRIEF
public static Keyword KWD_NAME
public static Keyword KWD_PARAMETER_TYPES
public static Keyword KWD_RESULT_TYPE
public static Keyword KWD_VARIABLE_ARITYp
public static Keyword KWD_MICROTHEORYp
public static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX
public static Symbol SYM_LOGIC_STORE
public static Symbol SYM_STELLA_MODULE
public static Symbol SYM_PERSISTENCE_THE_PAGING_SEQUENCE_LENGTH
public static int $CYC_OBJECT_SEQUENCE_WARNING_LENGTH$
public static boolean $CYC_RULES_ENABLEDp$
public static Keyword KWD_DEPENDENTS
public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_000
public static Keyword KWD_ISA
public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_001
public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_002
public static Keyword KWD_RULES
public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_OBJECT_SEQUENCE_MEMO_TABLE_003
public static Keyword KWD_CONTEXT_PROPOSITIONS
public static Keyword KWD_CONTEXT_INSTANCES
public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_000
public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_001
public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_002
public static Surrogate SGT_PERSISTENCE_M_CYC_PAGING_INDEXdESTIMATED_LENGTH_MEMO_TABLE_003
public static Surrogate SGT_PERSISTENCE_CYC_PAGING_INDEX_ITERATOR
public static Symbol SYM_STELLA_INDEX
public static Symbol SYM_PERSISTENCE_PAGING_ITERATOR_CURSOR
public static Symbol SYM_PERSISTENCE_MICROTHEORY
public static Surrogate SGT_PERSISTENCE_CYC_EVALUATION_ITERATOR
public static Cons $CYC_PAGING_BREAK_PATTERN$
public static Surrogate SGT_PERSISTENCE_M_CYC_EVALUATION_ITERATORdNEXTp_MEMO_TABLE_000
public static Keyword KWD_TRUE
public static Keyword KWD_FALSE
public static final StellaSpecialVariable $CURRENTLYREGENERATEDPROPOSITIONS$
public static Surrogate SGT_PERSISTENCE_F_FETCH_CYC_PROPOSITION_BY_ID_MEMO_TABLE_000
public static Keyword KWD_CONSTANT
public static Keyword KWD_PREDICATE
public static Keyword KWD_FORALL
public static Symbol SYM_PERSISTENCE_CYC_ORIGIN
public static Keyword KWD_IMPLIES
public static Keyword KWD_TRUTH_VALUE
public static Keyword KWD_MICRO_THEORY
public static Keyword KWD_FORMULA
public static Symbol SYM_STELLA_CONCEIVE
public static java.lang.String $LAST_CYC_KB_STATE_DESCRIPTOR$
public static Keyword KWD_JUST_IN_TIME_INFERENCE
public static Keyword KWD_DYNAMIC
public static Keyword KWD_IGNORE_TYPE_VIOLATIONS
public static Keyword KWD_NONE
public static Keyword KWD_LAY
public static Symbol SYM_PERSISTENCE_STARTUP_CYC_STORE
public static Symbol SYM_PERSISTENCE_STARTUP_PERSISTENCE_SYSTEM
Constructor Detail |
---|
public Persistence()
Method Detail |
---|
public static boolean persistentModuleP(Module module)
public static void closePersistentModule(Module module)
public static boolean ignorePersistentStoreP()
public static NamedDescription createRelationDescription(Symbol name, Keyword kind, List iovariablenames, List iovariabletypes, boolean variablearityP)
public static Module openCycStore(java.lang.String host, int port, Module module)
public static Stella_Object helpEvaluateCycSublispExpression(java.lang.String expression, CycStore store)
public static Stella_Object evaluateCycSublispExpression(java.lang.String expression, CycStore store)
public static boolean testCycSublispExpressionP(java.lang.String expression, CycStore store)
public static boolean testCstorePredicateExpressionP(java.lang.String expression, CycStore store)
public static void uploadCycSublispFile(java.lang.String file, CycStore store)
public static Module cycModule(java.lang.String mt)
public static CycStore currentCycStore()
public static java.lang.String cyclifyString(java.lang.String tree, boolean safeP)
public static java.lang.String cyclifyTree(Stella_Object tree, boolean safeP)
public static java.lang.String cycMicrotheoryObject(java.lang.String cyclifiedmt)
public static Context changeMicrotheory(Stella_Object mt)
mt
, or return
the current context if mt
is not a defined microtheory in Cyc.
mt
-
public static Context cmt(Cons mt)
mt
, or return
the current microtheory if no name was supplied.
mt
-
public static Context cmtEvaluatorWrapper(Cons arguments)
public static Keyword cycTermCategory(java.lang.String name, CycStore store)
public static boolean cycCollectionP(java.lang.String name, CycStore store)
public static boolean cycFunctionP(java.lang.String name, CycStore store)
public static boolean cycRelationP(java.lang.String name, CycStore store)
public static boolean cycPlainInstanceP(java.lang.String name, CycStore store)
public static void defineCycToPowerloomMapping(java.lang.String cycname, Symbol plname)
public static Symbol translateCycNameToPowerloom(java.lang.String cycname)
public static java.lang.String translatePowerloomNameToCyc(Stella_Object plname)
public static Stella_Object translateCycNamesToPowerloom(Stella_Object tree)
public static Stella_Object translatePowerloomNamesToCyc(Stella_Object tree)
public static Cons translateCycSentence(Cons sentence)
public static void enableCycRules()
public static void disableCycRules()
public static java.lang.String getCycKbStateDescriptor()
public static void printCycKbStateDescriptor(OutputStream stream)
public static void synchronizeWithCyc()
public static void connectToCycBackend(java.lang.String host, int retries)
host
. If host
is NULL, use the value of CycStoreBackendHost
in the configuration file or
localhost
. Assumes the default FI port unless it is overridden via a setting
of CycStoreFIPort
in the configuration file. retries
specifies how often
we should retry to connect in 5 second intervals. If retries
is <0, try
forever.
host
- retries
- public static void connectToCycBackendEvaluatorWrapper(Cons arguments)
public static void main(java.lang.String[] argv001)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |