edu.isi.powerloom.server
Class PowerloomServer

java.lang.Object
  extended by edu.isi.powerloom.server.PowerloomServer

public class PowerloomServer
extends java.lang.Object


Field Summary
static boolean $ALLOW_REMOTE_FILEBROWSING$
           
static java.lang.String $DEFAULT_KB_DIRECTORY$
           
static java.lang.String $KB_DIRECTORY$
           
static java.lang.String $KB_FILENAME_INDEX$
           
static java.lang.String $PLGUI_EXPLANATION_TRACE_FILE$
           
static StellaSpecialVariable $PLGUI_URL_ACTION$
          The action parameter for URL printing
static Module $POWERLOOM_SERVER_MODULE$
           
static StellaSpecialVariable $REQUESTOR_ADDRESS$
          The ip address of the current requestor in numerical host:port format.
static StringHashTable $SERVER_DISPATCH_TABLE$
          Hash Table for used for dispatching server API methods.
static java.lang.String $SERVER_LOG_FILE$
           
static Keyword $SERVER_LOG_LEVEL$
           
static StringHashTable $SESSION_TABLE$
          System-wide session table, each session is index on the IP address of the associated client.
static java.lang.String $SOAP_EXCEPTION_PREFIX$
           
static java.lang.String $SOAP_EXCEPTION_SUFFIX$
           
static java.lang.String $SOAP_RESULT_PREFIX$
           
static java.lang.String $SOAP_RESULT_SUFFIX$
           
static Keyword KWD_ALL
           
static Keyword KWD_APPEND
           
static Keyword KWD_BRIEF
           
static Keyword KWD_CREATE
           
static Keyword KWD_EQUIVALENT
           
static Keyword KWD_EXISTS
           
static Keyword KWD_FORALL
           
static Keyword KWD_FUNCTION
           
static Keyword KWD_HTML
           
static Keyword KWD_IF_EXISTS
           
static Keyword KWD_IF_NOT_EXISTS
           
static Keyword KWD_IMPLIES
           
static Keyword KWD_ISA
           
static Keyword KWD_JAVA_GUI_HTML
           
static Keyword KWD_KIF
           
static Keyword KWD_KIF_ONTOSAURUS
           
static Keyword KWD_LAY
           
static Keyword KWD_NONE
           
static Keyword KWD_NOT
           
static Keyword KWD_ORIGINAL
           
static Keyword KWD_PREDICATE
           
static Surrogate SGT_LOGIC_LOGIC_OBJECT
           
static Surrogate SGT_LOGIC_NAMED_DESCRIPTION
           
static Surrogate SGT_LOGIC_PATTERN_VARIABLE
           
static Surrogate SGT_LOGIC_PROPOSITION
           
static Surrogate SGT_LOGIC_SKOLEM
           
static Surrogate SGT_LOGIC_TRUTH_VALUE
           
static Surrogate SGT_POWERLOOM_SERVER_Address
           
static Surrogate SGT_POWERLOOM_SERVER_MyModule
           
static Surrogate SGT_POWERLOOM_SERVER_PLConcept
           
static Surrogate SGT_POWERLOOM_SERVER_PLConceptContainer
           
static Surrogate SGT_POWERLOOM_SERVER_PLDirectory
           
static Surrogate SGT_POWERLOOM_SERVER_PLDirectoryContents
           
static Surrogate SGT_POWERLOOM_SERVER_PLFile
           
static Surrogate SGT_POWERLOOM_SERVER_PLFileContent
           
static Surrogate SGT_POWERLOOM_SERVER_PLInstance
           
static Surrogate SGT_POWERLOOM_SERVER_PLInstanceContainer
           
static Surrogate SGT_POWERLOOM_SERVER_PLModule
           
static Surrogate SGT_POWERLOOM_SERVER_PLModuleContainer
           
static Surrogate SGT_POWERLOOM_SERVER_PLModuleFile
           
static Surrogate SGT_POWERLOOM_SERVER_PLModuleFileList
           
static Surrogate SGT_POWERLOOM_SERVER_PLObjectUnion
           
static Surrogate SGT_POWERLOOM_SERVER_PLProposition
           
static Surrogate SGT_POWERLOOM_SERVER_PLPropositionContainer
           
static Surrogate SGT_POWERLOOM_SERVER_PLQuery
           
static Surrogate SGT_POWERLOOM_SERVER_PLQueryResult
           
static Surrogate SGT_POWERLOOM_SERVER_PLRelation
           
static Surrogate SGT_POWERLOOM_SERVER_PLRelationContainer
           
static Surrogate SGT_POWERLOOM_SERVER_PLRule
           
static Surrogate SGT_POWERLOOM_SERVER_PLSearchParameter
           
static Surrogate SGT_POWERLOOM_SERVER_PLSearchResult
           
static Surrogate SGT_POWERLOOM_SERVER_PLSearchResultItem
           
static Surrogate SGT_POWERLOOM_SERVER_PLServerInfo
           
static Surrogate SGT_POWERLOOM_SERVER_PLString
           
static Surrogate SGT_POWERLOOM_SERVER_PLSurrogate
           
static Surrogate SGT_POWERLOOM_SERVER_PLSurrogateCollection
           
static Surrogate SGT_POWERLOOM_SERVER_PLTuple
           
static Surrogate SGT_POWERLOOM_SERVER_PLVariable
           
static Surrogate SGT_POWERLOOM_SERVER_PLVariableList
           
static Surrogate SGT_POWERLOOM_SERVER_ServerException
           
static Surrogate SGT_POWERLOOM_SERVER_SESSION
           
static Surrogate SGT_STELLA_CONS
           
static Surrogate SGT_STELLA_GENERALIZED_SYMBOL
           
static Surrogate SGT_STELLA_LITERAL
           
static Surrogate SGT_STELLA_LITERAL_WRAPPER
           
static Surrogate SGT_STELLA_MODULE
           
static Surrogate SGT_STELLA_THING
           
static Symbol SYM_LOGIC_ID
           
static Symbol SYM_LOGIC_MASTER_PROPOSITION
           
static Symbol SYM_LOGIC_TIMESTAMP
           
static Symbol SYM_POWERLOOM_SERVER_Address
           
static Symbol SYM_POWERLOOM_SERVER_AllowRemoteFileBrowsing
           
static Symbol SYM_POWERLOOM_SERVER_API
           
static Symbol SYM_POWERLOOM_SERVER_attrCity
           
static Symbol SYM_POWERLOOM_SERVER_CaseSensitive
           
static Symbol SYM_POWERLOOM_SERVER_ConceptName
           
static Symbol SYM_POWERLOOM_SERVER_CppPackage
           
static Symbol SYM_POWERLOOM_SERVER_DirectoryName
           
static Symbol SYM_POWERLOOM_SERVER_Documentation
           
static Symbol SYM_POWERLOOM_SERVER_DontOptimize
           
static Symbol SYM_POWERLOOM_SERVER_FileName
           
static Symbol SYM_POWERLOOM_SERVER_HASHTABLE
           
static Symbol SYM_POWERLOOM_SERVER_InferenceLevel
           
static Symbol SYM_POWERLOOM_SERVER_InstanceName
           
static Symbol SYM_POWERLOOM_SERVER_IsAsk
           
static Symbol SYM_POWERLOOM_SERVER_IsAsserted
           
static Symbol SYM_POWERLOOM_SERVER_IsClosed
           
static Symbol SYM_POWERLOOM_SERVER_IsFunction
           
static Symbol SYM_POWERLOOM_SERVER_IsRule
           
static Symbol SYM_POWERLOOM_SERVER_IsStrict
           
static Symbol SYM_POWERLOOM_SERVER_JavaCatchallClass
           
static Symbol SYM_POWERLOOM_SERVER_JavaPackage
           
static Symbol SYM_POWERLOOM_SERVER_KBDescription
           
static Symbol SYM_POWERLOOM_SERVER_KBName
           
static Symbol SYM_POWERLOOM_SERVER_LispPackage
           
static Symbol SYM_POWERLOOM_SERVER_LiteralValue
           
static Symbol SYM_POWERLOOM_SERVER_MatchMode
           
static Symbol SYM_POWERLOOM_SERVER_MaximizeScore
           
static Symbol SYM_POWERLOOM_SERVER_MaxUnknowns
           
static Symbol SYM_POWERLOOM_SERVER_Message
           
static Symbol SYM_POWERLOOM_SERVER_MinScore
           
static Symbol SYM_POWERLOOM_SERVER_Module
           
static Symbol SYM_POWERLOOM_SERVER_ModuleName
           
static Symbol SYM_POWERLOOM_SERVER_Moveout
           
static Symbol SYM_POWERLOOM_SERVER_MyModule
           
static Symbol SYM_POWERLOOM_SERVER_NumResults
           
static Symbol SYM_POWERLOOM_SERVER_PLConcept
           
static Symbol SYM_POWERLOOM_SERVER_PLDirectory
           
static Symbol SYM_POWERLOOM_SERVER_PLFile
           
static Symbol SYM_POWERLOOM_SERVER_PLFileContent
           
static Symbol SYM_POWERLOOM_SERVER_PLInstance
           
static Symbol SYM_POWERLOOM_SERVER_PLModule
           
static Symbol SYM_POWERLOOM_SERVER_PLModuleFile
           
static Symbol SYM_POWERLOOM_SERVER_PLObjectUnion
           
static Symbol SYM_POWERLOOM_SERVER_PLProposition
           
static Symbol SYM_POWERLOOM_SERVER_PLRelation
           
static Symbol SYM_POWERLOOM_SERVER_PLSearchResultItem
           
static Symbol SYM_POWERLOOM_SERVER_PLSurrogate
           
static Symbol SYM_POWERLOOM_SERVER_PLTuple
           
static Symbol SYM_POWERLOOM_SERVER_PLVariable
           
static Symbol SYM_POWERLOOM_SERVER_PropositionName
           
static Symbol SYM_POWERLOOM_SERVER_Query
           
static Symbol SYM_POWERLOOM_SERVER_QueryName
           
static Symbol SYM_POWERLOOM_SERVER_RelationName
           
static Symbol SYM_POWERLOOM_SERVER_RuleName
           
static Symbol SYM_POWERLOOM_SERVER_SearchConcept
           
static Symbol SYM_POWERLOOM_SERVER_SearchInstance
           
static Symbol SYM_POWERLOOM_SERVER_SearchRelation
           
static Symbol SYM_POWERLOOM_SERVER_SearchString
           
static Symbol SYM_POWERLOOM_SERVER_SourceString
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_HTML_PRINTING
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_POWERLOOM_SERVER_SYSTEM
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_SERVER_INTERFACE
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_SESSIONS
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_OBJECTS
           
static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_SUPPORT
           
static Symbol SYM_POWERLOOM_SERVER_Timeout
           
static Symbol SYM_POWERLOOM_SERVER_TIMEOUT
           
static Symbol SYM_POWERLOOM_SERVER_Type
           
static Symbol SYM_POWERLOOM_SERVER_Value
           
static Symbol SYM_POWERLOOM_SERVER_VariableName
           
static Symbol SYM_POWERLOOM_SERVER_VariableType
           
static Symbol SYM_POWERLOOM_SERVER_WILD
           
static Symbol SYM_STELLA_APIp
           
static Symbol SYM_STELLA_ASK
           
static Symbol SYM_STELLA_CODE_ONLYp
           
static Symbol SYM_STELLA_JAVA_FLOTSAM_CLASS
           
static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME
           
static Symbol SYM_XML_OBJECTS_textContent
           
 
Constructor Summary
PowerloomServer()
           
 
Method Summary
static boolean codeModuleP(Module module)
           
static List collectAllModules(Module module, List collectedmodules)
           
static java.lang.String compactWhitespace(java.lang.String instring)
           
static PLConceptContainer createConceptContainer(List collectedconcepts, Module module, boolean includechildrenP)
           
static PLSurrogateCollection createModuleCollection(List modules)
           
static PLModuleContainer createModuleContainer(List collectedmodules)
           
static PLRelationContainer createRelationContainer(List collectedrelations, Module module, boolean includechildrenP)
           
static PLSurrogateCollection createSuperrelationsContainer(NamedDescription relation, Module module)
           
static PLSurrogateCollection createSurrogateCollection(List surrogates)
           
static PLSurrogateCollection createSurrogateCollectionForLogicObject(List relations)
           
static PLVariableList createVariablesList(NamedDescription relation)
           
static Stella_Object dispatchCall(java.lang.String functionname, Cons args)
           
static java.lang.String evaluateLogicCommandInModule(java.lang.String command, java.lang.String modulename, boolean finalizeP)
           
static Cons evaluateQueryCommandInModule(java.lang.String query, java.lang.String modulename, boolean continuationqueryP, boolean partialqueryP)
           
static java.lang.String extractModuleNameFromFile(java.lang.String filename)
           
static java.lang.String extractModuleNameFromStream(InputStream stream)
           
static List getAllConcepts(Module module, boolean localP)
           
static List getAllConceptsWithPrefix(Module module, boolean localP, java.lang.String prefix)
           
static List getAllRelations(Module module)
           
static List getAllRelationsWithPrefix(Module module, boolean localP, java.lang.String prefix)
           
static PLConceptContainer getConcepts(Module module)
           
static PLConceptContainer getConceptsWithPrefix(Module module, java.lang.String prefix)
           
static List getDirectoryListing(java.lang.String currentdirectory)
           
static List getDirectRelationsForConcept(Module module, LogicObject concept)
           
static PLString getDocumentationForObject(java.lang.String modulename, java.lang.String objectname)
           
static StringWrapper getFirstNonWild(Cons matchlist)
           
static List getInheritedRelationsForConcept(Module module, LogicObject concept)
           
static java.lang.String getJustificationString(Justification justification)
           
static java.lang.String getLogicObjectName(LogicObject renamed_Object, java.lang.String casesensitiveP)
           
static PLModuleContainer getModules(Module module)
           
static List getPropositionsForInstanceAndRelation(java.lang.String modulename, java.lang.String instancename, java.lang.String relationname)
           
static List getPropositionsForObject(java.lang.String modulename, java.lang.String instancename, boolean relationP)
          Get all the propositions for a given instance
static java.lang.String getPropositionString(Proposition prop, Module module)
           
static PLRelationContainer getRelations(Module module)
           
static PLRelationContainer getRelationsWithPrefix(Module module, java.lang.String prefix)
           
static List getRelevantRulesForRelation(java.lang.String modulename, java.lang.String relationname)
          Get all the relevant rules for a given logic object.
static Cons getRestAfterFirstNonWild(Cons matchlist)
           
static List getRulesForRelation(java.lang.String modulename, java.lang.String instancename)
          Get all the rules for a given logic object
static Session getSession(boolean forcenewP, boolean newiftimeoutP)
          Retrieve an existing session object if one exists, or a new one if one doesn't yet exist.
static List getStellaLiteralConcepts()
           
static void getStellaLiteralConceptsHelper(Module module, NamedDescription concept, List collectedconcepts)
           
static java.lang.String getStringifiedModule(Module module)
           
static List getSubconcepts(Description concept, Module module)
           
static List getSubrelations(Description relation, Module module)
           
static List getSuperconcepts(Description concept, Module module)
           
static List getSuperrelations(Description relation, Module module)
           
static java.lang.String getTruthValueString(TruthValue tv)
           
static void initializeDispatchTable()
           
static void invalidateSession()
          Invalidate the current session for the current client.
static Cons loadIndexFile()
           
static boolean logLevelLE(Keyword level1, Keyword level2)
           
static PLSurrogate makeLogicSurrogate(LogicObject obj)
           
static PLSurrogate makeModuleSurrogate(Module module)
           
static PLConcept makePlConcept(Description concept)
           
static PLModuleFile makePlFile(Cons filedescription)
           
static PLInstance makePlInstance(LogicObject instance)
           
static List makePlInstances(List instances, boolean skipuninternedinstancesP)
           
static PLObjectUnion makePlObjectUnion(Stella_Object renamed_Object)
           
static PLProposition makePlProposition(Proposition proposition, Module module, boolean isrule)
           
static List makePlPropositions(List propositions, Module module, boolean isrule)
           
static PLQuery makePlQuery()
           
static PLRelation makePlRelation(Description relation, java.lang.String modulename)
           
static List makePlRelations(List relations, java.lang.String modulename)
           
static PLTuple makePlTuple(Cons tuple)
           
static PLTuple makePlTupleFromProposition(Proposition proposition)
           
static PLVariable makePlVariable(java.lang.String variablename, Surrogate variabletype)
           
static PLSearchResultItem makeSearchResultItem(java.lang.String modulename, LogicObject renamed_Object)
           
static PLSurrogate makeSurrogateSurrogate(Surrogate surrogate)
           
static edu.isi.webservices.xml_objects.XMLObject makeTestObject()
           
static Cons parseMatchString(java.lang.String matchstring, java.lang.String casesensitiveP)
           
static void plguiHtmlPprintAtomicObject(Stella_Object self, java.io.PrintStream stream)
           
static void plguiHtmlPprintObject(Stella_Object self, OutputStream stream)
           
static void plguiWriteUrl(java.io.PrintStream stream, java.lang.String action, java.lang.String objecttype, StandardObject renamed_Object)
           
static void plguiWriteUrlInDetail(java.io.PrintStream stream, java.lang.String target, java.lang.String action, java.lang.String objecttype, java.lang.String contextname, java.lang.String objectname, java.lang.String objecttitle, boolean rawtitleP)
           
static void printJustificationToHtmlFile(Justification justification, java.lang.String file)
           
static void printPlguiUrl(LogicObject theObject, java.io.PrintStream nativestream)
          Prints a URL following PowerLoom Plgui conventions.
static java.lang.String replaceChokableCharsWithEntities(java.lang.String instring)
           
static java.lang.String replaceDoubleQuotesWithSingleQuotes(java.lang.String instring)
           
static boolean rulePropositionP(Proposition proposition)
           
static void saveIndexFile(Cons index)
           
static List searchAllModules(java.lang.String searchstring, java.lang.String searchinstanceP, java.lang.String searchconceptP, java.lang.String searchrelationP, java.lang.String casesensitiveP)
           
static List searchConcepts(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
           
static List searchInstances(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
           
static List searchLogicObjects(java.lang.String modulename, List objects, Cons matchlist, java.lang.String casesensitiveP)
           
static List searchModule(java.lang.String modulename, java.lang.String searchstring, java.lang.String searchinstanceP, java.lang.String searchconceptP, java.lang.String searchrelationP, java.lang.String casesensitiveP)
           
static List searchRelations(java.lang.String modulename, Cons matchlist, java.lang.String casesensitiveP)
           
static boolean searchStringMatchP(java.lang.String inputstring, Cons matchlist)
           
static Cons serverExtractArguments(Cons bodycontents)
           
static java.lang.String serverExtractMethodName(Cons bodycontents)
           
static Stella_Object serverExtractSoapBodyContents(Cons parsetree)
           
static java.lang.String serverGenerateSoapResponse(java.lang.String response, java.lang.String exception)
           
static PLServerInfo serverGetInfo()
          Return a data structure describing the characteristics and capabilities of this server instance.
static PLModuleFileList serverGetLoadableKbs()
           
static PLModuleContainer serverGetModules()
          Get all the loaded modules, structured, hierarchically
static java.lang.String serverInvokePowerloomMethod(Cons bodycontents)
           
static void serverLog(Keyword loglevel, Cons message)
           
static java.lang.String serverMarshalException(java.lang.String type, java.lang.Exception exception)
           
static Cons serverParseXmlDocumentString(java.lang.String request)
           
static java.lang.String serverProcessSoapRequest(java.lang.String requestbody)
           
static boolean startsWithP(java.lang.String candidate, java.lang.String prefix)
           
static java.lang.String stripModule(java.lang.String instring, Module module)
           
static java.lang.String stripNewlines(java.lang.String instring)
           
static boolean subrelationRuleP(Proposition rule)
           
static java.lang.String test1()
           
static edu.isi.webservices.xml_objects.XMLObject test2()
           
static void testServerClearKb()
           
static PLString testServerDestroyObject()
           
static PLString testServerEvaluateLogicCommand(java.lang.String command)
           
static PLConceptContainer testServerGetConcept()
           
static PLConceptContainer testServerGetConceptCompletions()
           
static PLConceptContainer testServerGetConceptsForModule()
           
static PLDirectoryContents testServerGetDefaultDirectoryListing()
           
static PLInstanceContainer testServerGetDirectInstancesForConcept()
           
static PLString testServerGetDocumentationForConcept()
           
static PLString testServerGetDocumentationForInstance()
           
static PLString testServerGetDocumentationForRelation()
           
static PLString testServerGetExplanationForQuery()
           
static PLQueryResult testServerGetExtensionForRelation()
           
static PLSurrogateCollection testServerGetIncludesForModule()
           
static PLServerInfo testServerGetInfo()
           
static PLRelationContainer testServerGetInheritedRelationsForConcept()
           
static PLInstanceContainer testServerGetInstance()
           
static PLInstanceContainer testServerGetInstanceCompletions()
           
static PLInstanceContainer testServerGetInstancesForConcept()
           
static PLInstanceContainer testServerGetInstancesForModule()
           
static PLPropositionContainer testServerGetPropositionsForConcept()
           
static PLPropositionContainer testServerGetPropositionsForInstance()
           
static PLPropositionContainer testServerGetPropositionsForInstanceAndRelation()
           
static PLPropositionContainer testServerGetPropositionsForModule()
           
static PLPropositionContainer testServerGetPropositionsForRelation()
           
static PLRelationContainer testServerGetRelation()
           
static PLRelationContainer testServerGetRelationCompletions()
           
static PLRelationContainer testServerGetRelationsForConcept()
           
static PLRelationContainer testServerGetRelationsForModule()
           
static PLPropositionContainer testServerGetRulesForConcept()
           
static PLPropositionContainer testServerGetRulesForRelation()
           
static PLSurrogateCollection testServerGetShadowedSurrogatesForModule()
           
static PLString testServerGetSourceForConcept()
           
static PLSurrogateCollection testServerGetSuperconceptsForConcept()
           
static PLSurrogateCollection testServerGetSuperrelationsForRelation()
           
static PLSurrogateCollection testServerGetTypesForInstance()
           
static PLSurrogateCollection testServerGetUsesForModule()
           
static PLVariableList testServerGetVariablesForRelation()
           
static PLString testServerLoadKb()
           
static PLQueryResult testServerQuery()
           
static PLString testServerSaveKb()
           
static PLFile testServerSaveKb2()
           
static PLSearchResult testServerSearch1()
           
static void writeHtmlCharacterQuotingChokableCharacters(java.io.PrintStream stream, char ch)
           
static void writeHtmlQuotingChokableCharacters(java.io.PrintStream stream, java.lang.String input)
           
static java.lang.String xmlifyFormattedString(java.lang.String instring)
           
static java.lang.String xmlifyString(java.lang.String instring)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SGT_POWERLOOM_SERVER_PLString

public static Surrogate SGT_POWERLOOM_SERVER_PLString

SYM_POWERLOOM_SERVER_Value

public static Symbol SYM_POWERLOOM_SERVER_Value

SGT_POWERLOOM_SERVER_PLSurrogate

public static Surrogate SGT_POWERLOOM_SERVER_PLSurrogate

SYM_LOGIC_ID

public static Symbol SYM_LOGIC_ID

SGT_POWERLOOM_SERVER_ServerException

public static Surrogate SGT_POWERLOOM_SERVER_ServerException

SYM_POWERLOOM_SERVER_Type

public static Symbol SYM_POWERLOOM_SERVER_Type

SYM_POWERLOOM_SERVER_Message

public static Symbol SYM_POWERLOOM_SERVER_Message

SGT_POWERLOOM_SERVER_PLModuleContainer

public static Surrogate SGT_POWERLOOM_SERVER_PLModuleContainer

SYM_POWERLOOM_SERVER_PLModule

public static Symbol SYM_POWERLOOM_SERVER_PLModule

SGT_POWERLOOM_SERVER_PLModule

public static Surrogate SGT_POWERLOOM_SERVER_PLModule

SYM_POWERLOOM_SERVER_ModuleName

public static Symbol SYM_POWERLOOM_SERVER_ModuleName

SYM_POWERLOOM_SERVER_SourceString

public static Symbol SYM_POWERLOOM_SERVER_SourceString

SYM_POWERLOOM_SERVER_CppPackage

public static Symbol SYM_POWERLOOM_SERVER_CppPackage

SYM_POWERLOOM_SERVER_LispPackage

public static Symbol SYM_POWERLOOM_SERVER_LispPackage

SYM_POWERLOOM_SERVER_JavaPackage

public static Symbol SYM_POWERLOOM_SERVER_JavaPackage

SYM_POWERLOOM_SERVER_JavaCatchallClass

public static Symbol SYM_POWERLOOM_SERVER_JavaCatchallClass

SYM_POWERLOOM_SERVER_Documentation

public static Symbol SYM_POWERLOOM_SERVER_Documentation

SYM_POWERLOOM_SERVER_API

public static Symbol SYM_POWERLOOM_SERVER_API

SYM_POWERLOOM_SERVER_CaseSensitive

public static Symbol SYM_POWERLOOM_SERVER_CaseSensitive

SYM_POWERLOOM_SERVER_PLSurrogate

public static Symbol SYM_POWERLOOM_SERVER_PLSurrogate

SGT_POWERLOOM_SERVER_PLConcept

public static Surrogate SGT_POWERLOOM_SERVER_PLConcept

SYM_POWERLOOM_SERVER_ConceptName

public static Symbol SYM_POWERLOOM_SERVER_ConceptName

SYM_POWERLOOM_SERVER_Module

public static Symbol SYM_POWERLOOM_SERVER_Module

SYM_POWERLOOM_SERVER_PLConcept

public static Symbol SYM_POWERLOOM_SERVER_PLConcept

SGT_POWERLOOM_SERVER_PLConceptContainer

public static Surrogate SGT_POWERLOOM_SERVER_PLConceptContainer

SGT_POWERLOOM_SERVER_PLRelation

public static Surrogate SGT_POWERLOOM_SERVER_PLRelation

SYM_POWERLOOM_SERVER_RelationName

public static Symbol SYM_POWERLOOM_SERVER_RelationName

SYM_POWERLOOM_SERVER_IsFunction

public static Symbol SYM_POWERLOOM_SERVER_IsFunction

SYM_POWERLOOM_SERVER_IsClosed

public static Symbol SYM_POWERLOOM_SERVER_IsClosed

SYM_POWERLOOM_SERVER_PLRelation

public static Symbol SYM_POWERLOOM_SERVER_PLRelation

SGT_POWERLOOM_SERVER_PLRelationContainer

public static Surrogate SGT_POWERLOOM_SERVER_PLRelationContainer

SGT_POWERLOOM_SERVER_PLInstance

public static Surrogate SGT_POWERLOOM_SERVER_PLInstance

SYM_POWERLOOM_SERVER_InstanceName

public static Symbol SYM_POWERLOOM_SERVER_InstanceName

SGT_POWERLOOM_SERVER_PLInstanceContainer

public static Surrogate SGT_POWERLOOM_SERVER_PLInstanceContainer

SYM_POWERLOOM_SERVER_PLInstance

public static Symbol SYM_POWERLOOM_SERVER_PLInstance

SGT_POWERLOOM_SERVER_PLProposition

public static Surrogate SGT_POWERLOOM_SERVER_PLProposition

SYM_POWERLOOM_SERVER_PropositionName

public static Symbol SYM_POWERLOOM_SERVER_PropositionName

SYM_POWERLOOM_SERVER_IsStrict

public static Symbol SYM_POWERLOOM_SERVER_IsStrict

SYM_POWERLOOM_SERVER_IsAsserted

public static Symbol SYM_POWERLOOM_SERVER_IsAsserted

SYM_POWERLOOM_SERVER_IsRule

public static Symbol SYM_POWERLOOM_SERVER_IsRule

SGT_POWERLOOM_SERVER_PLPropositionContainer

public static Surrogate SGT_POWERLOOM_SERVER_PLPropositionContainer

SYM_POWERLOOM_SERVER_PLProposition

public static Symbol SYM_POWERLOOM_SERVER_PLProposition

SGT_POWERLOOM_SERVER_PLRule

public static Surrogate SGT_POWERLOOM_SERVER_PLRule

SYM_POWERLOOM_SERVER_RuleName

public static Symbol SYM_POWERLOOM_SERVER_RuleName

SGT_POWERLOOM_SERVER_PLVariable

public static Surrogate SGT_POWERLOOM_SERVER_PLVariable

SYM_POWERLOOM_SERVER_VariableName

public static Symbol SYM_POWERLOOM_SERVER_VariableName

SYM_POWERLOOM_SERVER_VariableType

public static Symbol SYM_POWERLOOM_SERVER_VariableType

SGT_POWERLOOM_SERVER_PLVariableList

public static Surrogate SGT_POWERLOOM_SERVER_PLVariableList

SYM_POWERLOOM_SERVER_PLVariable

public static Symbol SYM_POWERLOOM_SERVER_PLVariable

SGT_POWERLOOM_SERVER_PLModuleFileList

public static Surrogate SGT_POWERLOOM_SERVER_PLModuleFileList

SYM_POWERLOOM_SERVER_PLModuleFile

public static Symbol SYM_POWERLOOM_SERVER_PLModuleFile

SGT_POWERLOOM_SERVER_PLModuleFile

public static Surrogate SGT_POWERLOOM_SERVER_PLModuleFile

SYM_POWERLOOM_SERVER_KBName

public static Symbol SYM_POWERLOOM_SERVER_KBName

SYM_POWERLOOM_SERVER_KBDescription

public static Symbol SYM_POWERLOOM_SERVER_KBDescription

SYM_POWERLOOM_SERVER_FileName

public static Symbol SYM_POWERLOOM_SERVER_FileName

SGT_POWERLOOM_SERVER_PLFile

public static Surrogate SGT_POWERLOOM_SERVER_PLFile

SYM_POWERLOOM_SERVER_PLFileContent

public static Symbol SYM_POWERLOOM_SERVER_PLFileContent

SGT_POWERLOOM_SERVER_PLFileContent

public static Surrogate SGT_POWERLOOM_SERVER_PLFileContent

SYM_XML_OBJECTS_textContent

public static Symbol SYM_XML_OBJECTS_textContent

SGT_POWERLOOM_SERVER_PLDirectory

public static Surrogate SGT_POWERLOOM_SERVER_PLDirectory

SYM_POWERLOOM_SERVER_DirectoryName

public static Symbol SYM_POWERLOOM_SERVER_DirectoryName

SGT_POWERLOOM_SERVER_PLDirectoryContents

public static Surrogate SGT_POWERLOOM_SERVER_PLDirectoryContents

SYM_POWERLOOM_SERVER_PLDirectory

public static Symbol SYM_POWERLOOM_SERVER_PLDirectory

SYM_POWERLOOM_SERVER_PLFile

public static Symbol SYM_POWERLOOM_SERVER_PLFile

SGT_POWERLOOM_SERVER_PLSurrogateCollection

public static Surrogate SGT_POWERLOOM_SERVER_PLSurrogateCollection

SGT_POWERLOOM_SERVER_PLObjectUnion

public static Surrogate SGT_POWERLOOM_SERVER_PLObjectUnion

SYM_POWERLOOM_SERVER_LiteralValue

public static Symbol SYM_POWERLOOM_SERVER_LiteralValue

SGT_POWERLOOM_SERVER_PLTuple

public static Surrogate SGT_POWERLOOM_SERVER_PLTuple

SYM_POWERLOOM_SERVER_PLObjectUnion

public static Symbol SYM_POWERLOOM_SERVER_PLObjectUnion

SGT_POWERLOOM_SERVER_PLQuery

public static Surrogate SGT_POWERLOOM_SERVER_PLQuery

SYM_POWERLOOM_SERVER_IsAsk

public static Symbol SYM_POWERLOOM_SERVER_IsAsk

SYM_POWERLOOM_SERVER_QueryName

public static Symbol SYM_POWERLOOM_SERVER_QueryName

SYM_POWERLOOM_SERVER_Query

public static Symbol SYM_POWERLOOM_SERVER_Query

SYM_POWERLOOM_SERVER_InferenceLevel

public static Symbol SYM_POWERLOOM_SERVER_InferenceLevel

SYM_POWERLOOM_SERVER_Timeout

public static Symbol SYM_POWERLOOM_SERVER_Timeout

SYM_POWERLOOM_SERVER_Moveout

public static Symbol SYM_POWERLOOM_SERVER_Moveout

SYM_POWERLOOM_SERVER_MatchMode

public static Symbol SYM_POWERLOOM_SERVER_MatchMode

SYM_POWERLOOM_SERVER_NumResults

public static Symbol SYM_POWERLOOM_SERVER_NumResults

SYM_POWERLOOM_SERVER_MinScore

public static Symbol SYM_POWERLOOM_SERVER_MinScore

SYM_POWERLOOM_SERVER_MaxUnknowns

public static Symbol SYM_POWERLOOM_SERVER_MaxUnknowns

SYM_POWERLOOM_SERVER_MaximizeScore

public static Symbol SYM_POWERLOOM_SERVER_MaximizeScore

SYM_POWERLOOM_SERVER_DontOptimize

public static Symbol SYM_POWERLOOM_SERVER_DontOptimize

SGT_POWERLOOM_SERVER_PLQueryResult

public static Surrogate SGT_POWERLOOM_SERVER_PLQueryResult

SYM_POWERLOOM_SERVER_PLTuple

public static Symbol SYM_POWERLOOM_SERVER_PLTuple

SGT_POWERLOOM_SERVER_PLSearchParameter

public static Surrogate SGT_POWERLOOM_SERVER_PLSearchParameter

SYM_POWERLOOM_SERVER_SearchString

public static Symbol SYM_POWERLOOM_SERVER_SearchString

SYM_POWERLOOM_SERVER_SearchConcept

public static Symbol SYM_POWERLOOM_SERVER_SearchConcept

SYM_POWERLOOM_SERVER_SearchRelation

public static Symbol SYM_POWERLOOM_SERVER_SearchRelation

SYM_POWERLOOM_SERVER_SearchInstance

public static Symbol SYM_POWERLOOM_SERVER_SearchInstance

SGT_POWERLOOM_SERVER_PLSearchResult

public static Surrogate SGT_POWERLOOM_SERVER_PLSearchResult

SYM_POWERLOOM_SERVER_PLSearchResultItem

public static Symbol SYM_POWERLOOM_SERVER_PLSearchResultItem

SGT_POWERLOOM_SERVER_PLSearchResultItem

public static Surrogate SGT_POWERLOOM_SERVER_PLSearchResultItem

SGT_POWERLOOM_SERVER_PLServerInfo

public static Surrogate SGT_POWERLOOM_SERVER_PLServerInfo

SYM_POWERLOOM_SERVER_AllowRemoteFileBrowsing

public static Symbol SYM_POWERLOOM_SERVER_AllowRemoteFileBrowsing

SGT_POWERLOOM_SERVER_Address

public static Surrogate SGT_POWERLOOM_SERVER_Address

SYM_POWERLOOM_SERVER_attrCity

public static Symbol SYM_POWERLOOM_SERVER_attrCity

SGT_POWERLOOM_SERVER_MyModule

public static Surrogate SGT_POWERLOOM_SERVER_MyModule

SYM_POWERLOOM_SERVER_Address

public static Symbol SYM_POWERLOOM_SERVER_Address

SYM_POWERLOOM_SERVER_MyModule

public static Symbol SYM_POWERLOOM_SERVER_MyModule

SYM_POWERLOOM_SERVER_STARTUP_XML_OBJECTS

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_OBJECTS

SYM_STELLA_METHOD_STARTUP_CLASSNAME

public static Symbol SYM_STELLA_METHOD_STARTUP_CLASSNAME

$POWERLOOM_SERVER_MODULE$

public static Module $POWERLOOM_SERVER_MODULE$

$SOAP_RESULT_PREFIX$

public static java.lang.String $SOAP_RESULT_PREFIX$

$SOAP_EXCEPTION_PREFIX$

public static java.lang.String $SOAP_EXCEPTION_PREFIX$

$SOAP_RESULT_SUFFIX$

public static java.lang.String $SOAP_RESULT_SUFFIX$

$SOAP_EXCEPTION_SUFFIX$

public static java.lang.String $SOAP_EXCEPTION_SUFFIX$

KWD_ALL

public static Keyword KWD_ALL

SYM_POWERLOOM_SERVER_STARTUP_XML_SUPPORT

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_XML_SUPPORT

$ALLOW_REMOTE_FILEBROWSING$

public static boolean $ALLOW_REMOTE_FILEBROWSING$

$SERVER_LOG_FILE$

public static java.lang.String $SERVER_LOG_FILE$

$SERVER_LOG_LEVEL$

public static Keyword $SERVER_LOG_LEVEL$

KWD_NONE

public static Keyword KWD_NONE

KWD_IF_EXISTS

public static Keyword KWD_IF_EXISTS

KWD_APPEND

public static Keyword KWD_APPEND

KWD_IF_NOT_EXISTS

public static Keyword KWD_IF_NOT_EXISTS

KWD_CREATE

public static Keyword KWD_CREATE

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SGT_STELLA_CONS

public static Surrogate SGT_STELLA_CONS

SGT_LOGIC_TRUTH_VALUE

public static Surrogate SGT_LOGIC_TRUTH_VALUE

SGT_LOGIC_NAMED_DESCRIPTION

public static Surrogate SGT_LOGIC_NAMED_DESCRIPTION

SGT_LOGIC_SKOLEM

public static Surrogate SGT_LOGIC_SKOLEM

SYM_STELLA_CODE_ONLYp

public static Symbol SYM_STELLA_CODE_ONLYp

SYM_STELLA_JAVA_FLOTSAM_CLASS

public static Symbol SYM_STELLA_JAVA_FLOTSAM_CLASS

SYM_STELLA_APIp

public static Symbol SYM_STELLA_APIp

SGT_STELLA_LITERAL

public static Surrogate SGT_STELLA_LITERAL

KWD_FORALL

public static Keyword KWD_FORALL

KWD_EXISTS

public static Keyword KWD_EXISTS

KWD_IMPLIES

public static Keyword KWD_IMPLIES

SYM_LOGIC_MASTER_PROPOSITION

public static Symbol SYM_LOGIC_MASTER_PROPOSITION

SYM_STELLA_ASK

public static Symbol SYM_STELLA_ASK

KWD_ORIGINAL

public static Keyword KWD_ORIGINAL

$KB_FILENAME_INDEX$

public static java.lang.String $KB_FILENAME_INDEX$

$KB_DIRECTORY$

public static java.lang.String $KB_DIRECTORY$

SYM_POWERLOOM_SERVER_WILD

public static Symbol SYM_POWERLOOM_SERVER_WILD

$DEFAULT_KB_DIRECTORY$

public static java.lang.String $DEFAULT_KB_DIRECTORY$

$SERVER_DISPATCH_TABLE$

public static StringHashTable $SERVER_DISPATCH_TABLE$
Hash Table for used for dispatching server API methods.


SYM_POWERLOOM_SERVER_STARTUP_SERVER_INTERFACE

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_SERVER_INTERFACE

$REQUESTOR_ADDRESS$

public static final StellaSpecialVariable $REQUESTOR_ADDRESS$
The ip address of the current requestor in numerical host:port format. Native HTTP implementations should bind this during an HTTP request.


$SESSION_TABLE$

public static StringHashTable $SESSION_TABLE$
System-wide session table, each session is index on the IP address of the associated client.


SGT_POWERLOOM_SERVER_SESSION

public static Surrogate SGT_POWERLOOM_SERVER_SESSION

SYM_POWERLOOM_SERVER_TIMEOUT

public static Symbol SYM_POWERLOOM_SERVER_TIMEOUT

SYM_LOGIC_TIMESTAMP

public static Symbol SYM_LOGIC_TIMESTAMP

SYM_POWERLOOM_SERVER_HASHTABLE

public static Symbol SYM_POWERLOOM_SERVER_HASHTABLE

SYM_POWERLOOM_SERVER_STARTUP_SESSIONS

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_SESSIONS

KWD_KIF

public static Keyword KWD_KIF

SGT_LOGIC_PROPOSITION

public static Surrogate SGT_LOGIC_PROPOSITION

KWD_ISA

public static Keyword KWD_ISA

KWD_FUNCTION

public static Keyword KWD_FUNCTION

KWD_PREDICATE

public static Keyword KWD_PREDICATE

KWD_NOT

public static Keyword KWD_NOT

KWD_EQUIVALENT

public static Keyword KWD_EQUIVALENT

SGT_STELLA_LITERAL_WRAPPER

public static Surrogate SGT_STELLA_LITERAL_WRAPPER

SGT_LOGIC_PATTERN_VARIABLE

public static Surrogate SGT_LOGIC_PATTERN_VARIABLE

SGT_STELLA_GENERALIZED_SYMBOL

public static Surrogate SGT_STELLA_GENERALIZED_SYMBOL

SGT_STELLA_MODULE

public static Surrogate SGT_STELLA_MODULE

SGT_STELLA_THING

public static Surrogate SGT_STELLA_THING

$PLGUI_URL_ACTION$

public static final StellaSpecialVariable $PLGUI_URL_ACTION$
The action parameter for URL printing


KWD_JAVA_GUI_HTML

public static Keyword KWD_JAVA_GUI_HTML

KWD_HTML

public static Keyword KWD_HTML

KWD_LAY

public static Keyword KWD_LAY

KWD_KIF_ONTOSAURUS

public static Keyword KWD_KIF_ONTOSAURUS

KWD_BRIEF

public static Keyword KWD_BRIEF

$PLGUI_EXPLANATION_TRACE_FILE$

public static java.lang.String $PLGUI_EXPLANATION_TRACE_FILE$

SYM_POWERLOOM_SERVER_STARTUP_HTML_PRINTING

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_HTML_PRINTING

SYM_POWERLOOM_SERVER_STARTUP_POWERLOOM_SERVER_SYSTEM

public static Symbol SYM_POWERLOOM_SERVER_STARTUP_POWERLOOM_SERVER_SYSTEM
Constructor Detail

PowerloomServer

public PowerloomServer()
Method Detail

serverProcessSoapRequest

public static java.lang.String serverProcessSoapRequest(java.lang.String requestbody)

serverMarshalException

public static java.lang.String serverMarshalException(java.lang.String type,
                                                      java.lang.Exception exception)

serverGenerateSoapResponse

public static java.lang.String serverGenerateSoapResponse(java.lang.String response,
                                                          java.lang.String exception)

serverParseXmlDocumentString

public static Cons serverParseXmlDocumentString(java.lang.String request)

serverExtractSoapBodyContents

public static Stella_Object serverExtractSoapBodyContents(Cons parsetree)

serverExtractMethodName

public static java.lang.String serverExtractMethodName(Cons bodycontents)

serverExtractArguments

public static Cons serverExtractArguments(Cons bodycontents)

serverInvokePowerloomMethod

public static java.lang.String serverInvokePowerloomMethod(Cons bodycontents)

test1

public static java.lang.String test1()

makeTestObject

public static edu.isi.webservices.xml_objects.XMLObject makeTestObject()

test2

public static edu.isi.webservices.xml_objects.XMLObject test2()

logLevelLE

public static boolean logLevelLE(Keyword level1,
                                 Keyword level2)

serverLog

public static void serverLog(Keyword loglevel,
                             Cons message)

serverGetModules

public static PLModuleContainer serverGetModules()
Get all the loaded modules, structured, hierarchically

Returns:
PLModuleContainer

serverGetLoadableKbs

public static PLModuleFileList serverGetLoadableKbs()

serverGetInfo

public static PLServerInfo serverGetInfo()
Return a data structure describing the characteristics and capabilities of this server instance.

Returns:
PLServerInfo

extractModuleNameFromStream

public static java.lang.String extractModuleNameFromStream(InputStream stream)

extractModuleNameFromFile

public static java.lang.String extractModuleNameFromFile(java.lang.String filename)

makePlTupleFromProposition

public static PLTuple makePlTupleFromProposition(Proposition proposition)

makePlTuple

public static PLTuple makePlTuple(Cons tuple)

makePlObjectUnion

public static PLObjectUnion makePlObjectUnion(Stella_Object renamed_Object)

getModules

public static PLModuleContainer getModules(Module module)

codeModuleP

public static boolean codeModuleP(Module module)

collectAllModules

public static List collectAllModules(Module module,
                                     List collectedmodules)

createModuleContainer

public static PLModuleContainer createModuleContainer(List collectedmodules)

getStellaLiteralConcepts

public static List getStellaLiteralConcepts()

getStellaLiteralConceptsHelper

public static void getStellaLiteralConceptsHelper(Module module,
                                                  NamedDescription concept,
                                                  List collectedconcepts)

getConcepts

public static PLConceptContainer getConcepts(Module module)

getConceptsWithPrefix

public static PLConceptContainer getConceptsWithPrefix(Module module,
                                                       java.lang.String prefix)

createConceptContainer

public static PLConceptContainer createConceptContainer(List collectedconcepts,
                                                        Module module,
                                                        boolean includechildrenP)

getRelations

public static PLRelationContainer getRelations(Module module)

getRelationsWithPrefix

public static PLRelationContainer getRelationsWithPrefix(Module module,
                                                         java.lang.String prefix)

createRelationContainer

public static PLRelationContainer createRelationContainer(List collectedrelations,
                                                          Module module,
                                                          boolean includechildrenP)

createModuleCollection

public static PLSurrogateCollection createModuleCollection(List modules)

createSurrogateCollection

public static PLSurrogateCollection createSurrogateCollection(List surrogates)

createSurrogateCollectionForLogicObject

public static PLSurrogateCollection createSurrogateCollectionForLogicObject(List relations)

createSuperrelationsContainer

public static PLSurrogateCollection createSuperrelationsContainer(NamedDescription relation,
                                                                  Module module)

createVariablesList

public static PLVariableList createVariablesList(NamedDescription relation)

makePlVariable

public static PLVariable makePlVariable(java.lang.String variablename,
                                        Surrogate variabletype)

makePlRelation

public static PLRelation makePlRelation(Description relation,
                                        java.lang.String modulename)

makePlConcept

public static PLConcept makePlConcept(Description concept)

makePlRelations

public static List makePlRelations(List relations,
                                   java.lang.String modulename)

makeModuleSurrogate

public static PLSurrogate makeModuleSurrogate(Module module)

makeSurrogateSurrogate

public static PLSurrogate makeSurrogateSurrogate(Surrogate surrogate)

makeLogicSurrogate

public static PLSurrogate makeLogicSurrogate(LogicObject obj)

getAllRelations

public static List getAllRelations(Module module)

getAllRelationsWithPrefix

public static List getAllRelationsWithPrefix(Module module,
                                             boolean localP,
                                             java.lang.String prefix)

getAllConcepts

public static List getAllConcepts(Module module,
                                  boolean localP)

getAllConceptsWithPrefix

public static List getAllConceptsWithPrefix(Module module,
                                            boolean localP,
                                            java.lang.String prefix)

startsWithP

public static boolean startsWithP(java.lang.String candidate,
                                  java.lang.String prefix)

getSubconcepts

public static List getSubconcepts(Description concept,
                                  Module module)

getSubrelations

public static List getSubrelations(Description relation,
                                   Module module)

getSuperconcepts

public static List getSuperconcepts(Description concept,
                                    Module module)

getSuperrelations

public static List getSuperrelations(Description relation,
                                     Module module)

makePlInstance

public static PLInstance makePlInstance(LogicObject instance)

makePlInstances

public static List makePlInstances(List instances,
                                   boolean skipuninternedinstancesP)

makePlProposition

public static PLProposition makePlProposition(Proposition proposition,
                                              Module module,
                                              boolean isrule)

makePlPropositions

public static List makePlPropositions(List propositions,
                                      Module module,
                                      boolean isrule)

getDocumentationForObject

public static PLString getDocumentationForObject(java.lang.String modulename,
                                                 java.lang.String objectname)

getDirectRelationsForConcept

public static List getDirectRelationsForConcept(Module module,
                                                LogicObject concept)

getInheritedRelationsForConcept

public static List getInheritedRelationsForConcept(Module module,
                                                   LogicObject concept)

getPropositionsForObject

public static List getPropositionsForObject(java.lang.String modulename,
                                            java.lang.String instancename,
                                            boolean relationP)
Get all the propositions for a given instance

Parameters:
modulename -
instancename -
relationP -
Returns:
List

getRulesForRelation

public static List getRulesForRelation(java.lang.String modulename,
                                       java.lang.String instancename)
Get all the rules for a given logic object

Parameters:
modulename -
instancename -
Returns:
List

rulePropositionP

public static boolean rulePropositionP(Proposition proposition)

subrelationRuleP

public static boolean subrelationRuleP(Proposition rule)

getRelevantRulesForRelation

public static List getRelevantRulesForRelation(java.lang.String modulename,
                                               java.lang.String relationname)
Get all the relevant rules for a given logic object.

Parameters:
modulename -
relationname -
Returns:
List

getPropositionsForInstanceAndRelation

public static List getPropositionsForInstanceAndRelation(java.lang.String modulename,
                                                         java.lang.String instancename,
                                                         java.lang.String relationname)

evaluateLogicCommandInModule

public static java.lang.String evaluateLogicCommandInModule(java.lang.String command,
                                                            java.lang.String modulename,
                                                            boolean finalizeP)

evaluateQueryCommandInModule

public static Cons evaluateQueryCommandInModule(java.lang.String query,
                                                java.lang.String modulename,
                                                boolean continuationqueryP,
                                                boolean partialqueryP)

getPropositionString

public static java.lang.String getPropositionString(Proposition prop,
                                                    Module module)

getTruthValueString

public static java.lang.String getTruthValueString(TruthValue tv)

xmlifyString

public static java.lang.String xmlifyString(java.lang.String instring)

xmlifyFormattedString

public static java.lang.String xmlifyFormattedString(java.lang.String instring)

getStringifiedModule

public static java.lang.String getStringifiedModule(Module module)

replaceChokableCharsWithEntities

public static java.lang.String replaceChokableCharsWithEntities(java.lang.String instring)

writeHtmlCharacterQuotingChokableCharacters

public static void writeHtmlCharacterQuotingChokableCharacters(java.io.PrintStream stream,
                                                               char ch)

writeHtmlQuotingChokableCharacters

public static void writeHtmlQuotingChokableCharacters(java.io.PrintStream stream,
                                                      java.lang.String input)

compactWhitespace

public static java.lang.String compactWhitespace(java.lang.String instring)

stripNewlines

public static java.lang.String stripNewlines(java.lang.String instring)

stripModule

public static java.lang.String stripModule(java.lang.String instring,
                                           Module module)

replaceDoubleQuotesWithSingleQuotes

public static java.lang.String replaceDoubleQuotesWithSingleQuotes(java.lang.String instring)

loadIndexFile

public static Cons loadIndexFile()

saveIndexFile

public static void saveIndexFile(Cons index)

makePlFile

public static PLModuleFile makePlFile(Cons filedescription)

parseMatchString

public static Cons parseMatchString(java.lang.String matchstring,
                                    java.lang.String casesensitiveP)

searchStringMatchP

public static boolean searchStringMatchP(java.lang.String inputstring,
                                         Cons matchlist)

getFirstNonWild

public static StringWrapper getFirstNonWild(Cons matchlist)

getRestAfterFirstNonWild

public static Cons getRestAfterFirstNonWild(Cons matchlist)

searchLogicObjects

public static List searchLogicObjects(java.lang.String modulename,
                                      List objects,
                                      Cons matchlist,
                                      java.lang.String casesensitiveP)

getLogicObjectName

public static java.lang.String getLogicObjectName(LogicObject renamed_Object,
                                                  java.lang.String casesensitiveP)

searchConcepts

public static List searchConcepts(java.lang.String modulename,
                                  Cons matchlist,
                                  java.lang.String casesensitiveP)

searchRelations

public static List searchRelations(java.lang.String modulename,
                                   Cons matchlist,
                                   java.lang.String casesensitiveP)

searchInstances

public static List searchInstances(java.lang.String modulename,
                                   Cons matchlist,
                                   java.lang.String casesensitiveP)

searchAllModules

public static List searchAllModules(java.lang.String searchstring,
                                    java.lang.String searchinstanceP,
                                    java.lang.String searchconceptP,
                                    java.lang.String searchrelationP,
                                    java.lang.String casesensitiveP)

searchModule

public static List searchModule(java.lang.String modulename,
                                java.lang.String searchstring,
                                java.lang.String searchinstanceP,
                                java.lang.String searchconceptP,
                                java.lang.String searchrelationP,
                                java.lang.String casesensitiveP)

makeSearchResultItem

public static PLSearchResultItem makeSearchResultItem(java.lang.String modulename,
                                                      LogicObject renamed_Object)

getDirectoryListing

public static List getDirectoryListing(java.lang.String currentdirectory)

dispatchCall

public static Stella_Object dispatchCall(java.lang.String functionname,
                                         Cons args)

initializeDispatchTable

public static void initializeDispatchTable()

testServerGetConceptsForModule

public static PLConceptContainer testServerGetConceptsForModule()

testServerGetInstancesForModule

public static PLInstanceContainer testServerGetInstancesForModule()

testServerGetRelationsForModule

public static PLRelationContainer testServerGetRelationsForModule()

testServerGetDirectInstancesForConcept

public static PLInstanceContainer testServerGetDirectInstancesForConcept()

testServerGetInstancesForConcept

public static PLInstanceContainer testServerGetInstancesForConcept()

testServerGetPropositionsForModule

public static PLPropositionContainer testServerGetPropositionsForModule()

testServerGetPropositionsForInstance

public static PLPropositionContainer testServerGetPropositionsForInstance()

testServerGetTypesForInstance

public static PLSurrogateCollection testServerGetTypesForInstance()

testServerGetDocumentationForInstance

public static PLString testServerGetDocumentationForInstance()

testServerGetRelationsForConcept

public static PLRelationContainer testServerGetRelationsForConcept()

testServerGetInheritedRelationsForConcept

public static PLRelationContainer testServerGetInheritedRelationsForConcept()

testServerGetDocumentationForConcept

public static PLString testServerGetDocumentationForConcept()

testServerGetSourceForConcept

public static PLString testServerGetSourceForConcept()

testServerGetDocumentationForRelation

public static PLString testServerGetDocumentationForRelation()

testServerGetSuperconceptsForConcept

public static PLSurrogateCollection testServerGetSuperconceptsForConcept()

testServerGetSuperrelationsForRelation

public static PLSurrogateCollection testServerGetSuperrelationsForRelation()

testServerGetIncludesForModule

public static PLSurrogateCollection testServerGetIncludesForModule()

testServerGetShadowedSurrogatesForModule

public static PLSurrogateCollection testServerGetShadowedSurrogatesForModule()

testServerGetUsesForModule

public static PLSurrogateCollection testServerGetUsesForModule()

testServerGetVariablesForRelation

public static PLVariableList testServerGetVariablesForRelation()

testServerGetPropositionsForConcept

public static PLPropositionContainer testServerGetPropositionsForConcept()

testServerGetRulesForConcept

public static PLPropositionContainer testServerGetRulesForConcept()

testServerGetPropositionsForRelation

public static PLPropositionContainer testServerGetPropositionsForRelation()

testServerGetRulesForRelation

public static PLPropositionContainer testServerGetRulesForRelation()

testServerGetPropositionsForInstanceAndRelation

public static PLPropositionContainer testServerGetPropositionsForInstanceAndRelation()

testServerEvaluateLogicCommand

public static PLString testServerEvaluateLogicCommand(java.lang.String command)

testServerLoadKb

public static PLString testServerLoadKb()

testServerClearKb

public static void testServerClearKb()

testServerSaveKb

public static PLString testServerSaveKb()

testServerSaveKb2

public static PLFile testServerSaveKb2()

makePlQuery

public static PLQuery makePlQuery()

testServerQuery

public static PLQueryResult testServerQuery()

testServerSearch1

public static PLSearchResult testServerSearch1()

testServerGetDefaultDirectoryListing

public static PLDirectoryContents testServerGetDefaultDirectoryListing()

testServerGetExtensionForRelation

public static PLQueryResult testServerGetExtensionForRelation()

testServerGetRelation

public static PLRelationContainer testServerGetRelation()

testServerGetConcept

public static PLConceptContainer testServerGetConcept()

testServerGetInstance

public static PLInstanceContainer testServerGetInstance()

testServerGetConceptCompletions

public static PLConceptContainer testServerGetConceptCompletions()

testServerGetRelationCompletions

public static PLRelationContainer testServerGetRelationCompletions()

testServerGetInstanceCompletions

public static PLInstanceContainer testServerGetInstanceCompletions()

testServerDestroyObject

public static PLString testServerDestroyObject()

testServerGetExplanationForQuery

public static PLString testServerGetExplanationForQuery()

testServerGetInfo

public static PLServerInfo testServerGetInfo()

getSession

public static Session getSession(boolean forcenewP,
                                 boolean newiftimeoutP)
Retrieve an existing session object if one exists, or a new one if one doesn't yet exist. Throws an exception if the special variable *requestor-address* is not bound, or if the session has timed out. If newIfTimeoutP is TRUE, will return a new session if the existing session is old. If forceNewP is TRUE, will always create a new session.

Parameters:
forcenewP -
newiftimeoutP -
Returns:
Session

invalidateSession

public static void invalidateSession()
Invalidate the current session for the current client. Throws an exception if the special variable *requestor-address* is not bound.


plguiHtmlPprintObject

public static void plguiHtmlPprintObject(Stella_Object self,
                                         OutputStream stream)

plguiHtmlPprintAtomicObject

public static void plguiHtmlPprintAtomicObject(Stella_Object self,
                                               java.io.PrintStream stream)

printPlguiUrl

public static void printPlguiUrl(LogicObject theObject,
                                 java.io.PrintStream nativestream)
Prints a URL following PowerLoom Plgui conventions.

Parameters:
theObject -
nativestream -

plguiWriteUrlInDetail

public static void plguiWriteUrlInDetail(java.io.PrintStream stream,
                                         java.lang.String target,
                                         java.lang.String action,
                                         java.lang.String objecttype,
                                         java.lang.String contextname,
                                         java.lang.String objectname,
                                         java.lang.String objecttitle,
                                         boolean rawtitleP)

plguiWriteUrl

public static void plguiWriteUrl(java.io.PrintStream stream,
                                 java.lang.String action,
                                 java.lang.String objecttype,
                                 StandardObject renamed_Object)

printJustificationToHtmlFile

public static void printJustificationToHtmlFile(Justification justification,
                                                java.lang.String file)

getJustificationString

public static java.lang.String getJustificationString(Justification justification)