edu.isi.powerloom.logic
Class NamedDescription

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.stella.ContextSensitiveObject
              edu.isi.powerloom.logic.LogicObject
                  edu.isi.powerloom.logic.Description
                      edu.isi.powerloom.logic.NamedDescription

public class NamedDescription
extends Description

Field Summary

SequenceIndex	extension
List	ioVariableNames
List	ioVariableTypes
List	objectOriginatedPropositions List of propositions generated by the definition of this description.
java.lang.String	objectStringifiedSource

Fields inherited from class edu.isi.powerloom.logic.Description

internalVariables, ioVariables, proposition, queryPatterns

Fields inherited from class edu.isi.powerloom.logic.LogicObject

dependentPropositionsIndex, dynamicSlots, surrogateValueInverse, variableValueInverse

Fields inherited from class edu.isi.stella.ContextSensitiveObject

homeContext

Constructor Summary

NamedDescription()

Method Summary

static Stella_Object	accessNamedDescriptionSlotValue(NamedDescription self, Symbol slotname, Stella_Object value, boolean setvalueP)
static Iterator	allArgumentTypes(NamedDescription self)
static Cons	allDirectSubrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of relations that immediately specialize 'relation'.
static Cons	allDirectSuperrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of relations that immediately subsume 'relation'.
static Iterator	allDomainTypes(NamedDescription self)
static Cons	allEquivalentRelations(NamedDescription relation, boolean reflexiveP) Return a list of all relations equivalent to 'relation'.
static Iterator	allExtensionMembers(NamedDescription description)
static Cons	allSubrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of all (named) relations that specialize relation.
static Cons	allSuperrelations(NamedDescription relation, boolean removeequivalentsP) Return a set of all relations that subsume relation.
static DescriptionExtensionIterator	allTrueExtensionMembers(NamedDescription self, boolean specializeP)
int	arity()
static Proposition	assertImpliesLinkBetweenRelations(NamedDescription sub, NamedDescription renamed_Super)
static boolean	chainableRelationP(NamedDescription description, Keyword headortail)
static void	checkDescriptionArgumentTypes(NamedDescription self)
static boolean	classDescriptionP(NamedDescription self)
static void	cleanupDescriptionExtension(NamedDescription description)
static Stella_Object	completeRuleDefinition(NamedDescription self, Stella_Object body, Symbol arrow)
static boolean	computedRelationP(NamedDescription description)
static int	computeMaximumCardinality(NamedDescription relation, Stella_Object instance)
static int	computeMinimumCardinality(NamedDescription relation, Stella_Object instance)
static int	computeStoredBoundOnRoleset(NamedDescription relation, Stella_Object instance, Keyword lowerorupper)
static boolean	definedRelationP(NamedDescription self)
static void	definitionHalfRuleHandler(NamedDescription self, StorageSlot slot, Stella_Object body)
void	describeObject(OutputStream stream, Keyword mode) Prints a description of 'self' to stream 'stream'.
Symbol	descriptionName() Return the name of the description self.
static boolean	disjointClassesP(NamedDescription desc1, NamedDescription desc2)
static double	dynamicallyEstimateExtensionSize(NamedDescription description)
static double	estimateCardinalityOfExtension(NamedDescription description)
static boolean	functionDescriptionP(NamedDescription self)
static BooleanVector	getBinaryIndexingVector(NamedDescription self)
static List	getBinaryUniquenessVectors(NamedDescription self)
static Description	getComplementOfGoalDescription(NamedDescription self)
static SequenceIndex	getDescriptionExtension(NamedDescription description, boolean updateP)
static BooleanVector	getIndexingVector(NamedDescription self)
static Skolem	getRolesetOf(NamedDescription relation, Stella_Object instance)
static List	getUniquenessVectors(NamedDescription self)
static Cons	helpMemoizeAllSubrelations(NamedDescription relation, boolean removeequivalentsP)
static Cons	helpMemoizeAllSuperrelations(NamedDescription relation, boolean removeequivalentsP)
void	helpPrintOutline(OutputStream stream, int currentDepth, int depth, boolean namedP) Helper function for printConceptOutline
static boolean	indexIthDomainP(NamedDescription description, int i)
static boolean	inferableThroughBySomeDescendantP(NamedDescription self, LogicObject throughchild, Cons alreadyvisitedlist)
static java.lang.reflect.Method	lookupComputation(NamedDescription description)
static java.lang.reflect.Method	lookupConstraint(NamedDescription description)
static java.lang.reflect.Method	lookupEvaluator(NamedDescription description)
static java.lang.reflect.Method	lookupSpecialist(NamedDescription description)
static void	materializePrimitiveDescriptionBody(NamedDescription description)
Relation	nativeRelation()
void	nativeRelationSetter(Relation value)
static NamedDescription	newNamedDescription()
static void	prettyPrintNamedDescription(NamedDescription self, OutputStream stream)
Surrogate	primaryType() Returns the primary type of self.
void	processDefinitionOptions(Stella_Object options)
static boolean	relationImpliesRelationP(NamedDescription subrel, NamedDescription superrel)
static boolean	relationInModuleP(NamedDescription self)
static java.lang.String	relationName(NamedDescription self) Given a relation object, return it's name.
static boolean	relationSupportsExtensionP(NamedDescription self)
static void	retractRelationAxioms(NamedDescription oldrelation)
static boolean	subrelationOfP(NamedDescription desc1, NamedDescription desc2)
static boolean	testRangeTypeP(NamedDescription relation, Stella_Object instance, NamedDescription valuetype)
static void	transferDescriptionExtension(NamedDescription from, NamedDescription to)
List	uniquenessvectors()
static void	updateObservedCardinality(NamedDescription self, int cardinality)
static Cons	yieldRelationParametersTree(NamedDescription self, boolean dropfunctionparameterP, boolean typedP)

Methods inherited from class edu.isi.powerloom.logic.Description

accessDescriptionSlotValue, accessObservedCardinality, addSubsumptionLink, addTaxonomyImpliesSubsumesLink, allIntensionalParents, allNamedDirectSubdescriptions, allNamedDirectSuperdescriptions, allocateAntecedentsIterator, applyForwardRulesToVector, applyKappaP, applyRuleConsequentToVector, assertDescriptionImpliesDescription, atomicGoalDescriptionP, checkForSingleValuedGoalP, collectForwardChainingRules, computedConstraintP, computedTermP, computeInternalVariables, copyDescription, createBaseRelationForPolymorphicDescription, createDescriptionImplicationSubsumptionNode, createQueryIterator, deferredContrapositivesP, deriveDeferredContrapositiveSatelliteRules, deriveDeferredSatelliteRules, descriptionExtensionL, descriptionImpliesDescriptionP, descriptionSpecializesDescriptionP, descriptionSurrogate, disjointTermsP, dropTaxonomyImpliesSubsumesLink, ensureDescriptionBody, equivalentDescriptionsP, evaporateVirgin, expensiveDisjointTermsP, extractProposition, findDescriptionImplicationSubsumptionNode, findDirectSupersAndSubs, findDuplicateComplexDescription, findDuplicateDescription, findDuplicateNamedDescription, findOrCreateDescriptionImplicationSubsumptionNode, finishBuildingDescription, forwardChainingIndices, generateDescription, generateDescriptionProposition, generateDescriptionsAsRule, getInferableComplementDescription, getPrototype, hasForwardChainingRulesP, helpCollectForwardRules, helpCollectIntensionalParents, helpGetForwardChainingRules, inferableP, inferableWithCycleCheckP, inferVariableTypesInDescription, instantiateExternalVariables, introduceIntoClassificationSession, markUnmarkedSuperrelations, namedDescriptionP, newDescription, nonInferableP, optimizeQuery, printDescription, printDescriptionsAsKifRule, printKifDescription, printKifDescriptionProposition, selectOptimalQueryPattern, simplifyDescription, topLevelExistentialVariables, unaryDescriptionSpecializesDescriptionP, variableArityP, variableFromUnbindingOffset, virginP

Methods inherited from class edu.isi.powerloom.logic.LogicObject

accessLogicObjectSlotValue, addIsaLink, allDirectSubcollections, allDirectSubcollectionsWithEquivalents, allDirectSupercollections, allDirectSupercollectionsWithEquivalents, allEquivalentCollections, allInferableDirectSubcollections, allSlotValues, allSlotValueTypes, allSubcollections, allSupercollections, allSupportedNamedSubcollections, applicableRulesOfDescription, assertProperty, badP, bindToEquivalentValue, buildCaseFromInstance, cheapEmptyTermP, collectionImpliesCollectionP, collectSubsumingParentsBelow, conceptPrototypeOf, conceptPrototypeP, deletedP, deletedPSetter, derivePartitionMembershipsP, destroyTerm, downclassificationTimestamp, downclassifiedP, downclassifyOneDescription, elaboratedInWorlds, equivalenceCollections, equivalentCollectionPriority, evaluateLogicObjectTerm, evaluateReachableInequalities, evaluateRemainingArguments, expensiveEmptyTermP, filterInstanceP, generateCaseBasedAnswer, generateExpression, getMostSpecificClasses, getSlotMaximumCardinality, getSlotMinimumCardinality, getSlotValue, getSlotValueType, helpAllSupportedNamedSubcollections, helpCollectParentsBelowP, helpDerivePartitionMemberships, helpDownclassifyOneDescription, helpUpclassifyOneEntity, introductionTimestamp, logicObjectDinheritUnnamedDescription, logLogicObject, markAsIncoherent, matchInstances, namedCollectionP, newLogicObject, nonPolymorphicPredicateP, objectNameLessThanP, printKifLogicObject, printLogicObject, printObject, refreshDownclassificationTimestamp, removeAllDependentPropositionLinks, retractFactsOfInstance, retractProperty, testSlotValueP, unbindEquivalentValue, unlinkEquivalentValue, upclassifiedLaterThanP, upclassifyOneDescription, upclassifyOneInstance, updateProperty, variableValueInverse, visibleTermP

Methods inherited from class edu.isi.stella.ContextSensitiveObject

homeModule

Methods inherited from class edu.isi.stella.StandardObject

arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.Stella_Object

_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, describe, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpTransformBooleanProceduralExpression, helpWalkATree, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ioVariableNames

public List ioVariableNames

ioVariableTypes

public List ioVariableTypes

extension

public SequenceIndex extension

objectStringifiedSource

public java.lang.String objectStringifiedSource

objectOriginatedPropositions

public List objectOriginatedPropositions

List of propositions generated by the definition of this description.

Constructor Detail

NamedDescription

public NamedDescription()

Method Detail

newNamedDescription

public static NamedDescription newNamedDescription()

helpPrintOutline

public void helpPrintOutline(OutputStream stream,
                             int currentDepth,
                             int depth,
                             boolean namedP)

Helper function for printConceptOutline

Overrides:

helpPrintOutline in class Description

Parameters:

stream -

currentDepth -

depth -

namedP -

allDirectSubrelations

public static Cons allDirectSubrelations(NamedDescription relation,
                                         boolean removeequivalentsP)

Return a set of relations that immediately specialize 'relation'. If 'removeEquivalents?' (recommended), don't include any relations equivalent to 'relation'.

Parameters:

relation -

removeequivalentsP -

Returns:

Cons

allDirectSuperrelations

public static Cons allDirectSuperrelations(