Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
A B C D E F G H I K L M N O P Q R S T U V W _

A

ABBREV_AGENT - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for agents
ABBREV_AXIOM - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for axioms
ABBREV_AXIOM - Static variable in class iw.model.ProofConfig
 
ABBREV_DECLARATIVE_RULE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for declarative rules
ABBREV_DECLARATIVE_RULE - Static variable in class iw.model.ProofConfig
 
ABBREV_DERIVED_RULE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for derived rules
ABBREV_DERIVED_RULE - Static variable in class iw.model.ProofConfig
 
ABBREV_INFERENCE_ENGINE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for inference engines
ABBREV_INFERENCE_ENGINE - Static variable in class iw.model.ProofConfig
 
ABBREV_INFERENCE_STEP - Static variable in class iw.model.ProofConfig
 
ABBREV_LANGUAGE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for languages
ABBREV_LANGUAGE - Static variable in class iw.model.ProofConfig
 
ABBREV_LANGUAGE_AXIOM_SET - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for language axiom sets
ABBREV_LANGUAGE_AXIOM_SET - Static variable in class iw.model.ProofConfig
 
ABBREV_METHOD_RULE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for method rules
ABBREV_METHOD_RULE - Static variable in class iw.model.ProofConfig
 
ABBREV_NODESET - Static variable in class iw.model.ProofConfig
 
ABBREV_ONTOLOGY - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for ontologies
ABBREV_ONTOLOGY - Static variable in class iw.model.ProofConfig
 
ABBREV_ORGANIZATION - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for organizations
ABBREV_ORGANIZATION - Static variable in class iw.model.ProofConfig
 
ABBREV_PERSON - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for persons
ABBREV_PERSON - Static variable in class iw.model.ProofConfig
 
ABBREV_PUBLICATION - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for publications
ABBREV_PUBLICATION - Static variable in class iw.model.ProofConfig
 
ABBREV_QUERY - Static variable in class iw.model.ProofConfig
 
ABBREV_QUESTION - Static variable in class iw.model.ProofConfig
 
ABBREV_TEAM - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for teams
ABBREV_TEAM - Static variable in class iw.model.ProofConfig
 
ABBREV_TRANSLATION_RULE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for translation rules
ABBREV_TRANSLATION_RULE - Static variable in class iw.model.ProofConfig
 
ABBREV_WEBSITE - Static variable in class iw.model.IWBase
the IWBase concept abbreviation for websites
ABSTRACTOR_URI - Variable in class iw.model.IWContext
 
AGENT - Static variable in class iw.model.IWBase
the IWBase concept number for agents
AP - Static variable in class iw.model.util.Params
 
ASSUMPTION_URI - Static variable in class iw.model.IWBase
The URI of the Assumption inference rule, which is a default primitive inference rule
AXIOM - Static variable in class iw.model.IWBase
the IWBase concept number for axioms
AXIOM - Static variable in class iw.model.ProofConfig
 
addAnswer(IWNodeSet) - Method in interface iw.model.IWQuery
Adds the specified Nodeset to the list of answer nodesets ( @param newAnswer a nodeset corresponding to a new answer of the query
addAntecedent(String) - Method in interface iw.model.IWFillerAntecedent
 
addAntecedent(String) - Method in interface iw.model.IWInferenceStep
Adds the specified antecedent URI to the list of antecedents of the inference step.
addAntecedent(long, String) - Method in interface iw.model.IWNodeSetOccur
GUESS Adds the nodeset with URI newUri as an antecedent to all inference steps of the node set occurrence with ID targetId.with the id targetId and URI newUri.
addAntecedentNode(IWNodeSet) - Method in interface iw.model.IWInferenceStep
Adds the specified antecedent node set (not URI) to the list of antecedents of the inference step.
addAntecedentNodeSetOccurrence(IWNodeSetOccur) - Method in interface iw.model.IWInferenceStepOccur
Adds the IWNodeSetOccur instance to the list of antecedents of the inference step occurrence
addAuthor(IWPerson) - Method in interface iw.model.IWPublication
Adds the specified author to the list of authors of the publication
addAxiom(IWAxiom) - Method in interface iw.model.IWDerivedRule
Adds the speified axiom to the list of axioms used by the derived rule
addAxiom(IWAxiom) - Method in interface iw.model.IWLanguageAxiomSet
Adds the specified axiom into the language axiom set
addConclusionFiller(IWConclusionFiller) - Method in interface iw.model.IWNodeSet
 
addDischarge(String) - Method in interface iw.model.IWInferenceStep
Adds the specified assumption to the list of discharged assumptions.
addFillerAntecedent(IWFillerAntecedent) - Method in interface iw.model.IWConclusionFiller
 
addFillerMapping(IWFillerMapping) - Method in interface iw.model.IWConclusionFiller
 
addInferenceEngine(IWInferenceEngine) - Method in interface iw.model.IWAgent
Adds the speified inference engine to the list of inference engines used by the agent
addInferenceEngineRule(IWPrimitiveRule) - Method in interface iw.model.IWInferenceEngine
Adds the speified inference rule to the list of inference rules used by the engine
addInferenceStep(IWInferenceStep) - Method in interface iw.model.IWNodeSet
Adds the inference step provided to the list of inference steps for the nodeset.
addInferenceStepOccurrence(IWInferenceStepOccur) - Method in interface iw.model.IWNodeSetOccur
Adds the specified inference step occurrence to the list of inference step occurrences.
addMember(IWPerson) - Method in interface iw.model.IWTeam
Adds the specified IWPerson instance to the list of members of a team
addMetaBinding(IWMetaBinding) - Method in interface iw.model.IWInferenceStep
 
addModelElement(IWModelElement) - Method in interface iw.model.IWModel
 
addQuery(String) - Method in interface iw.model.IWInferenceStep
PROBLEM
addSeparators(String) - Static method in class iw.model.util.ProofUtils
 
addSource(IWSource) - Method in interface iw.model.IWProvenanceElement
PROBLEMM/b>
addSourceUsage(IWSourceUsage) - Method in interface iw.model.IWInferenceStep
PROBLEM
addToCache(IWModelElement) - Static method in class iw.model.IWBase
Adds the specified model element _me to the cache
addVariableMapping(IWVariableMapping) - Method in interface iw.model.IWInferenceStep
Adds the specified variable mapping to the list of variable mappings for the inference step.
altRegistryUri - Variable in class iw.model.IWContext
 
associatedSites - Variable in class iw.model.IWContext
 

B

BASE_FILENAME_AGENT - Static variable in class iw.model.IWBase
the IWBase concept base filename for agents (basically REGISTRY_PATH + ABBREV_AGENT)
BASE_FILENAME_AXIOM - Static variable in class iw.model.IWBase
the IWBase concept base filename for axioms (basically REGISTRY_PATH + ABBREV_AXIOMS)
BASE_FILENAME_AXIOM - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_DECLARATIVE_RULE - Static variable in class iw.model.IWBase
the IWBase concept base filename for declarative rules (basically REGISTRY_PATH + ABBREV_DECLARATIVE_RULE)
BASE_FILENAME_DECLARATIVE_RULE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_DERIVED_RULE - Static variable in class iw.model.IWBase
the IWBase concept base filename for derived rules (basically REGISTRY_PATH + ABBREV_DERIVED_RULES)
BASE_FILENAME_DERIVED_RULE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_INFERENCE_STEP - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_INF_ENGINE - Static variable in class iw.model.IWBase
the IWBase concept base filename for inference engines (basically REGISTRY_PATH + ABBREV_INFERENCE_ENGINE)
BASE_FILENAME_INF_ENGINE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_LANGUAGE - Static variable in class iw.model.IWBase
the IWBase concept base filename for languages (basically REGISTRY_PATH + ABBREV_LANGUAGES)
BASE_FILENAME_LANGUAGE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_LANGUAGE_AXIOM_SET - Static variable in class iw.model.IWBase
the IWBase concept base filename for language axiom sets (basically REGISTRY_PATH + ABBREV_LANGUAGE_AXIOM_SETS)
BASE_FILENAME_LANGUAGE_AXIOM_SET - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_METHOD_RULE - Static variable in class iw.model.IWBase
the IWBase concept base filename for method rules (basically REGISTRY_PATH + ABBREV_METHOD_RULES)
BASE_FILENAME_METHOD_RULE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_NODESET - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_ONTOLOGY - Static variable in class iw.model.IWBase
the IWBase concept base filename for ontologies (basically REGISTRY_PATH + ABBREV_ONTOLOGY)
BASE_FILENAME_ONTOLOGY - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_ORGANIZATION - Static variable in class iw.model.IWBase
the IWBase concept base filename for organizations (basically REGISTRY_PATH + ABBREV_ORGANIZATION)
BASE_FILENAME_ORGANIZATION - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_PERSON - Static variable in class iw.model.IWBase
the IWBase concept base filename for person (basically REGISTRY_PATH + ABBREV_PERSON)
BASE_FILENAME_PERSON - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_PUBLICATION - Static variable in class iw.model.IWBase
the IWBase concept base filename for publication (basically REGISTRY_PATH + ABBREV_PUBLICATION)
BASE_FILENAME_PUBLICATION - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_QUERY - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_QUESTION - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_TEAM - Static variable in class iw.model.IWBase
the IWBase concept base filename for teams (basically REGISTRY_PATH + ABBREV_TEAM)
BASE_FILENAME_TEAM - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_TRANSLATION_RULE - Static variable in class iw.model.IWBase
the IWBase concept base filename for translation rules (basically REGISTRY_PATH + ABBREV_TRANSLATION_RULES)
BASE_FILENAME_TRANSLATION_RULE - Static variable in class iw.model.ProofConfig
 
BASE_FILENAME_WEBSITE - Static variable in class iw.model.IWBase
the IWBase concept base filename for websites (basically REGISTRY_PATH + ABBREV_WEBSITE)
BASE_URI_AGENT - Static variable in class iw.model.IWBase
the IWBase concept base URI for agents (basically REGISTRY_URI + ABBREV_AGENT)
BASE_URI_AXIOM - Static variable in class iw.model.IWBase
the IWBase concept base URI for axiom (basically REGISTRY_URI + ABBREV_AXIOM)
BASE_URI_AXIOM - Static variable in class iw.model.ProofConfig
 
BASE_URI_DECLARATIVE_RULE - Static variable in class iw.model.IWBase
the IWBase concept base URI for declarative rule (basically REGISTRY_URI + ABBREV_DECLARATIVE_RULE)
BASE_URI_DECLARATIVE_RULE - Static variable in class iw.model.ProofConfig
 
BASE_URI_DERIVED_RULE - Static variable in class iw.model.IWBase
the IWBase concept base URI for derived rules (basically REGISTRY_URI + ABBREV_DERIVED_RULE)
BASE_URI_DERIVED_RULE - Static variable in class iw.model.ProofConfig
 
BASE_URI_INFERENCE_STEP - Static variable in class iw.model.ProofConfig
 
BASE_URI_INF_ENGINE - Static variable in class iw.model.IWBase
the IWBase concept base URI for inference engines (basically REGISTRY_URI + ABBREV_INFERENCE_ENGINE)
BASE_URI_INF_ENGINE - Static variable in class iw.model.ProofConfig
 
BASE_URI_LANGUAGE - Static variable in class iw.model.IWBase
the IWBase concept base URI for languages (basically REGISTRY_URI + ABBREV_LANGUAGE)
BASE_URI_LANGUAGE - Static variable in class iw.model.ProofConfig
 
BASE_URI_LANGUAGE_AXIOM_SET - Static variable in class iw.model.IWBase
the IWBase concept base URI for language axiom sets (basically REGISTRY_URI + ABBREV_LANGUAGE_AXIOM_SETS)
BASE_URI_LANGUAGE_AXIOM_SET - Static variable in class iw.model.ProofConfig
 
BASE_URI_METHOD_RULE - Static variable in class iw.model.IWBase
the IWBase concept base URI for method rules (basically REGISTRY_URI + ABBREV_METHOD_RULE)
BASE_URI_METHOD_RULE - Static variable in class iw.model.ProofConfig
 
BASE_URI_NODESET - Static variable in class iw.model.ProofConfig
 
BASE_URI_ONTOLOGY - Static variable in class iw.model.IWBase
the IWBase concept base URI for ontologies (basically REGISTRY_URI + ABBREV_ONTOLOGY)
BASE_URI_ONTOLOGY - Static variable in class iw.model.ProofConfig
 
BASE_URI_ORGANIZATION - Static variable in class iw.model.IWBase
the IWBase concept base URI for organizations (basically REGISTRY_URI + ABBREV_ORGANIZATION)
BASE_URI_ORGANIZATION - Static variable in class iw.model.ProofConfig
 
BASE_URI_PERSON - Static variable in class iw.model.IWBase
the IWBase concept base URI for persons (basically REGISTRY_URI + ABBREV_PERSON)
BASE_URI_PERSON - Static variable in class iw.model.ProofConfig
 
BASE_URI_PUBLICATION - Static variable in class iw.model.IWBase
the IWBase concept base URI for publications (basically REGISTRY_URI + ABBREV_PUBLICATION)
BASE_URI_PUBLICATION - Static variable in class iw.model.ProofConfig
 
BASE_URI_QUERY - Static variable in class iw.model.ProofConfig
 
BASE_URI_QUESTION - Static variable in class iw.model.ProofConfig
 
BASE_URI_TEAM - Static variable in class iw.model.IWBase
the IWBase concept base URI for teams (basically REGISTRY_URI + ABBREV_TEAM)
BASE_URI_TEAM - Static variable in class iw.model.ProofConfig
 
BASE_URI_TRANSLATION_RULE - Static variable in class iw.model.IWBase
the IWBase concept base URI for translation rules (basically REGISTRY_URI + ABBREV_TRANSLATION_RULE)
BASE_URI_TRANSLATION_RULE - Static variable in class iw.model.ProofConfig
 
BASE_URI_WEBSITE - Static variable in class iw.model.IWBase
the IWBase concept base URI for websites (basically REGISTRY_URI + ABBREV_WEBSITE)
BOTH_QY_NSROOT - Static variable in class iw.model.util.Params
 
BROWSER_EDITOR_URI - Variable in class iw.model.IWContext
 
BROWSER_URI - Variable in class iw.model.IWContext
 

C

CORE_REGISTRAR_URI - Static variable in class iw.model.IWContext
 
CURRENT_APP - Variable in class iw.model.IWContext
 
Config - Static variable in class iw.model.IWContext
 
ConfigParamsLoader - class iw.model.util.ConfigParamsLoader.
 
compare(Object, Object) - Method in class iw.model.util.StringComparatorIgnoreCase
 
copy(String, String, String, int) - Static method in class iw.model.util.ProofHandler
 
createModelElement(String) - Static method in class iw.model.IWBase
creates a model element for the given URI
createModelElement(String) - Static method in class iw.model.ProofConfig
 

D

DBAgent - interface iw.model.owl.db.DBAgent.
 
DBAxiom - interface iw.model.owl.db.DBAxiom.
 
DBDeclarativeRule - interface iw.model.owl.db.DBDeclarativeRule.
 
DBDerivedRule - interface iw.model.owl.db.DBDerivedRule.
 
DBInferenceEngine - interface iw.model.owl.db.DBInferenceEngine.
 
DBInferenceRule - interface iw.model.owl.db.DBInferenceRule.
 
DBLanguage - interface iw.model.owl.db.DBLanguage.
 
DBLanguageAxiomSet - interface iw.model.owl.db.DBLanguageAxiomSet.
 
DBMethodRule - interface iw.model.owl.db.DBMethodRule.
 
DBNodeSet - interface iw.model.owl.db.DBNodeSet.
 
DBOntology - interface iw.model.owl.db.DBOntology.
 
DBOrganization - interface iw.model.owl.db.DBOrganization.
 
DBPerson - interface iw.model.owl.db.DBPerson.
 
DBPrimitiveRule - interface iw.model.owl.db.DBPrimitiveRule.
 
DBPublication - interface iw.model.owl.db.DBPublication.
 
DBQuestion - interface iw.model.owl.db.DBQuestion.
 
DBTeam - interface iw.model.owl.db.DBTeam.
 
DBTranslationRule - interface iw.model.owl.db.DBTranslationRule.
 
DBWebSite - interface iw.model.owl.db.DBWebSite.
 
DECLARATIVE_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for declarative rules
DECLARATIVE_RULE - Static variable in class iw.model.ProofConfig
 
DEFAULT_DER_RULE_SPEC_NAME - Static variable in class iw.model.IWBase
PROBLEM
DEFAULT_DER_RULE_SPEC_NAME - Static variable in class iw.model.ProofConfig
 
DEFAULT_EXT - Static variable in class iw.model.IWBase
The default file extension used by IWBase
DEFAULT_EXT - Static variable in class iw.model.ProofConfig
 
DERIVED_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for derived rules
DERIVED_RULE - Static variable in class iw.model.ProofConfig
 
DERIVED_RULE_DOMAIN_NODE_URI - Variable in class iw.model.IWContext
 
DIRECT_ASSERTION_URI - Static variable in class iw.model.IWBase
The URI of the DirectAssertion inference rule, which is a default primitive inference rule
DOCUMENTS_REPOSITORY_UNIX_PATH - Variable in class iw.model.IWContext
 
DOCUMENTS_REPOSITORY_URI - Variable in class iw.model.IWContext
 
DS_DB - Static variable in interface iw.model.IWModel
 
DS_OWL - Static variable in interface iw.model.IWModel
 
DomainSpecificOntology - Static variable in class iw.model.PML
 
DomainSpecificOntology() - Method in class iw.model.PML
 
DomainSpecificOntology() - Method in interface iw.model.PMLVocabulary
 
daml_URI - Static variable in class iw.model.IWContext
 
deleteAntecedent(long) - Method in interface iw.model.IWNodeSetOccur
GUESS Removes the antecedent with the id antID and also deletes the antecedent.
deleteAntecedentNodeSetOccurrence(long) - Method in interface iw.model.IWInferenceStepOccur
Deletes the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.
deleteDerivedRule() - Method in interface iw.model.owl.db.DBDerivedRule
 
disjointWith - Static variable in class iw.model.PML
 
disjointWith() - Method in class iw.model.PML
 

E

EXPLAINER_URI - Variable in class iw.model.IWContext
 
EXPLANATION_UNIX_PATH - Variable in class iw.model.IWContext
 
EXPLANATION_URI - Variable in class iw.model.IWContext
 
equals(IWSourceUsage) - Method in interface iw.model.IWSourceUsage
 
equals(Object, Object) - Method in class iw.model.util.StringComparatorIgnoreCase
 
execute(File) - Static method in class iw.model.util.FileRemover
 
exists(int, String) - Static method in class iw.model.IWBase
PROBLEM
exists(String) - Static method in class iw.model.IWBase
PROBLEM
exists(int, String) - Static method in class iw.model.ProofConfig
 
exists(String) - Static method in class iw.model.ProofConfig
 

F

FA - Static variable in class iw.model.util.Params
 
FORMAT_ENGLISH - Static variable in class iw.model.IWBase
 
FORMAT_KIF - Static variable in class iw.model.IWBase
 
FORMAT_RAW - Static variable in class iw.model.IWBase
 
FileRemover - class iw.model.util.FileRemover.
 
FileRemover() - Constructor for class iw.model.util.FileRemover
 
findHiddenAntecedents(ArrayList) - Method in interface iw.model.IWNodeSetOccur
Recursively find all hidden antecedents
findInferenceStepsWithAntecedent(long, ArrayList) - Method in interface iw.model.IWNodeSetOccur
Recursively find all inference steps which have the antecedent with id antId.
findNodesByID(ArrayList, long) - Method in interface iw.model.IWNodeSetOccur
Adds all nodesets in the proof tree below the current nodeset which have id inId to the list result.
findVisibleAntecedents(ArrayList) - Method in interface iw.model.IWNodeSetOccur
Recursively find all visible antecedents
flatSentence(IWNodeSet) - Static method in class iw.model.util.ProofUtils
 
fromAnswer - Static variable in class iw.model.PML
 
fromAnswer() - Method in class iw.model.PML
 
fromAnswer() - Method in interface iw.model.PMLVocabulary
 
fromConclusionFiller(OntModel) - Method in interface iw.model.owl.OWLConclusionFiller
 
fromFillerAntecedent(OntModel) - Method in interface iw.model.owl.OWLFillerAntecedent
 
fromFillerMapping(OntModel) - Method in interface iw.model.owl.OWLFillerMapping
 
fromInferenceStep(OntModel) - Method in interface iw.model.owl.OWLInferenceStep
PROBLEM
fromMetaBinding(OntModel) - Method in interface iw.model.owl.OWLMetaBinding
PROBLEM
fromQuery - Static variable in class iw.model.PML
 
fromQuery() - Method in class iw.model.PML
 
fromQuery() - Method in interface iw.model.PMLVocabulary
 
fromSourceUsage(OntModel) - Method in interface iw.model.owl.OWLSourceUsage
 
fromVariableMapping(OntModel) - Method in interface iw.model.owl.OWLVariableMapping
 

G

getAllAppTypeAndURI() - Method in class iw.model.util.ConfigParamsLoader
 
getAnswer() - Method in interface iw.model.IWInferenceStep
PROBLEM
getAnswerPattern() - Method in interface iw.model.IWQuestion
PROBLEM
getAnswers() - Method in interface iw.model.IWQuery
Returns a list of Nodesets of the answers for the query
getAntecedentNodeSetOccurrence(String) - Method in interface iw.model.IWInferenceStepOccur
Returns the IWNodeSetOccur instance corresponding to the antecedent with the URI inAntecedent
getAntecedentNodeSetOccurrences() - Method in interface iw.model.IWInferenceStepOccur
Returns a list of nodeset occurrence of the antecedents of the current inference step occurrence
getAntecedentNodes() - Method in interface iw.model.IWInferenceStep
Returns the list of antecedent node sets (not URIs) of the inference step.
getAntecedents() - Method in interface iw.model.IWFillerAntecedent
 
getAntecedents() - Method in interface iw.model.IWInferenceStep
Returns the list of antecedent node set URIs of the inference step
getAnyDAMLInstance(String, DAMLModel) - Static method in class iw.model.IWModelUtil
 
getAppParameter(String, String, String) - Method in class iw.model.util.ConfigParamsLoader
 
getAppParameters(String, String) - Method in class iw.model.util.ConfigParamsLoader
 
getAppParameters(String) - Method in class iw.model.util.ConfigParamsLoader
 
getAppParametersElement(String, String) - Method in class iw.model.util.ConfigParamsLoader
 
getAssociatedSites() - Method in class iw.model.IWContext
 
getAuthorNames() - Method in interface iw.model.IWPublication
Returns a list of the name of the authors of publication
getAuthorURIs() - Method in interface iw.model.IWPublication
Returns a list of the uri of the authors of publication
getAuthors() - Method in interface iw.model.IWPublication
Returns a list of the IWPersons representing the authors of publication
getAxiom(String) - Method in interface iw.model.IWDerivedRule
Returns the axiom with the short name _AxiomShortName.
getAxiomNames() - Method in interface iw.model.IWDerivedRule
Returns an array of strings corresponding to the name of the axioms used by the derived rule
getAxiomNames() - Method in interface iw.model.IWLanguageAxiomSet
Returns the names of the axioms in the axiom set ( @return the names of the axioms in the axiom set
getAxiomURIs() - Method in interface iw.model.IWDerivedRule
Returns a list of strings corresponding to the uri of the axioms used by the derived rule
getAxioms() - Method in interface iw.model.IWDerivedRule
Returns a list of the axioms used by the derived rule
getAxioms() - Method in interface iw.model.IWLanguageAxiomSet
Returns the list of axioms in the axiom set
getBrowserURI() - Method in class iw.model.IWContext
 
getClassName() - Method in interface iw.model.IWAgent
Returns the OWL class name of the agent
getClassName() - Method in interface iw.model.IWAxiom
GUESS Returns the OWL class name of the axiom.
getClassName() - Method in interface iw.model.IWDeclarativeRule
GUESS Returns the OWL class name of the declarative rule
getClassName() - Method in interface iw.model.IWDerivedRule
GUESS Returns the OWL class name of the declarative rule
getClassName() - Method in interface iw.model.IWInferenceEngine
GUESS Returns the OWL class name of the declarative rule
getClassName() - Method in interface iw.model.IWInferenceRule
GUESS Returns the OWL class name of the declarative rule
getClassName() - Method in interface iw.model.IWLanguage
 
getClassName() - Method in interface iw.model.IWLanguageAxiomSet
GUESSReturns the OWL class name of the language axiom set
getClassName() - Method in interface iw.model.IWMethodRule
GUESSReturns the OWL class name of the lmethod rule
getClassName() - Method in interface iw.model.IWOntology
GUESSReturns the OWL class name of the language
getClassName() - Method in interface iw.model.IWOrganization
GUESSReturns the OWL class name of the organization
getClassName() - Method in interface iw.model.IWPerson
GUESSReturns the OWL class name of the organization
getClassName() - Method in interface iw.model.IWPrimitiveRule
GUESSReturns the OWL class name of the organization
getClassName() - Method in interface iw.model.IWPublication
GUESSReturns the OWL class name of the organization
getClassName() - Method in interface iw.model.IWTeam
GUESSReturns the OWL class name of the language
getClassName() - Method in interface iw.model.IWTranslationRule
GUESSReturns the OWL class name of the language
getClassName() - Method in interface iw.model.IWWebSite
GUESSReturns the OWL class name of the WebSite
getConcept(String) - Static method in class iw.model.IWBase
Determines the concept given the URI of a model element.
getConcept(String) - Static method in class iw.model.ProofConfig
 
getConclusion() - Method in interface iw.model.IWNodeSet
Returns the conclusion of Nodeset as a String expressed in the language of the Nodeset.
getConclusionFillers() - Method in interface iw.model.IWNodeSet
 
getConfigDocument() - Static method in class iw.model.util.ConfigParamsLoader
 
getConfigParamsRootElement() - Method in class iw.model.util.ConfigParamsLoader
 
getConsequence() - Method in interface iw.model.IWInferenceStepOccur
PROBLEM
getConsequence() - Method in interface iw.model.IWNodeSetOccur
Return conclusion node when viewing.
getContent() - Method in interface iw.model.IWAxiom
Returns the content i.e.
getContent() - Method in interface iw.model.IWQuestion
Returns the content of the question expressed in the language of the question
getCurrentApp() - Method in class iw.model.IWContext
 
getCurrentAppParameters() - Method in class iw.model.util.ConfigParamsLoader
 
getCurrentDayStr() - Static method in class iw.model.util.ParameterHelper
 
getCurrentMonthStr() - Static method in class iw.model.util.ParameterHelper
 
getCurrentYearStr() - Static method in class iw.model.util.ParameterHelper
 
getDAMLInstance(String, DAMLModel) - Static method in class iw.model.IWModelUtil
 
getDAMLInstance(String, Model, String) - Static method in class iw.model.IWModelUtil
 
getDAMLInstance(DAMLModel, String) - Static method in class iw.model.IWModelUtil
 
getDAMLInstanceURI(String, DAMLModel) - Static method in class iw.model.IWModelUtil
 
getDRSpecURI(String) - Static method in class iw.model.IWBase
PROBLEM
getDRSpecURI(String) - Static method in class iw.model.ProofConfig
 
getDay() - Method in interface iw.model.IWPublication
Returns the day in which the publication was published
getDischarges() - Method in interface iw.model.IWInferenceStep
Returns a list of assumptions that are discharged by the inference step.
getDumpingURL() - Method in interface iw.model.IWModel
 
getEnglishDescription() - Method in interface iw.model.IWProvenanceElement
Returns the engligh description of a provenance element.
getEnglishDescriptionTemplate() - Method in interface iw.model.IWInferenceRule
Returns the english description template for the inference rule
getEnglishExample() - Method in interface iw.model.IWProvenanceElement
Returns the english example of the provenance element.
getEscapeCharacter() - Method in interface iw.model.IWLanguage
Returns the escape character of the language
getExplainerURI() - Method in class iw.model.IWContext
 
getExplanationURI() - Method in class iw.model.IWContext
 
getExplanationUnixPath() - Method in class iw.model.IWContext
 
getFileName(IWModelElement) - Static method in class iw.model.IWBase
Returns the filename given a model element.
getFileName() - Method in interface iw.model.IWProvenanceElement
Returs the IWBase filename of the provenance element
getFileName(IWModelElement) - Static method in class iw.model.ProofConfig
 
getFiller() - Method in interface iw.model.IWFillerMapping
 
getFillerAntecedents() - Method in interface iw.model.IWConclusionFiller
 
getFillerMappings() - Method in interface iw.model.IWConclusionFiller
 
getFirstIndividual(OntClass, File) - Static method in class iw.model.IWBase
PROBLEM
getFirstIndividualFromURL(OntClass, String) - Static method in class iw.model.IWBase
PROBLEM
getFirstSubmissionDate() - Method in interface iw.model.IWModelElement
Returns the first submission date when the model element was first registered in IWBase
getFromCache(String) - Static method in class iw.model.IWBase
Looks up the model element with the specified URI from the cache
getFromExpression() - Method in interface iw.model.IWTranslationRule
Returns the from expression of the translation rule
getFromLanguage() - Method in interface iw.model.IWTranslationRule
Returns the from language of the translation rule
getFullName() - Method in interface iw.model.IWProvenanceElement
Returns the full name of the provenance element
getHiddenNodeSetIds() - Method in interface iw.model.IWNodeSetOccur
 
getHiddenNodeSets() - Method in interface iw.model.IWNodeSetOccur
Returns a list ids of all hidden nodes.
getIndex() - Method in interface iw.model.IWConclusionFiller
 
getIndex() - Method in interface iw.model.IWInferenceStep
 
getIndividualFromURI(String) - Static method in class iw.model.IWBase
PROBLEM
getInferenceEngine(String) - Method in interface iw.model.IWAgent
Returns the inference engine with the short name _IEShortName.
getInferenceEngine() - Method in interface iw.model.IWInferenceStep
Returns the inference engine that produced the inference step
getInferenceEngine() - Method in interface iw.model.IWQuery
Returns the inference engine which answered the query
getInferenceEngineNames() - Method in interface iw.model.IWAgent
Returns an array of strings corresponding to the name of the inference engines used by the agent
getInferenceEngineRule(String) - Method in interface iw.model.IWInferenceEngine
Returns the inference engine rule with the short name _IRShortName.
getInferenceEngineRuleNames() - Method in interface iw.model.IWInferenceEngine
Returns an array of strings corresponding to the name of the inference rules used by the engine
getInferenceEngineRules() - Method in interface iw.model.IWInferenceEngine
Returns a list of the inference rules used by the engine
getInferenceEngines() - Method in interface iw.model.IWAgent
Returns a list of the inference engines used by the agent
getInferenceRule() - Method in interface iw.model.IWInferenceStep
Returns the inference rule applied in the inference step
getInferenceStepIndex() - Method in interface iw.model.IWFillerAntecedent
 
getInferenceStepOccurrences() - Method in interface iw.model.IWNodeSetOccur
Returns a list of objects each of type IWInferenceStepOccur.
getInferenceSteps() - Method in interface iw.model.IWNodeSet
Returns a list consisting of the inference steps of the Nodeset.
getInferenceStepsWithAntecedent(long) - Method in interface iw.model.IWNodeSetOccur
Returns a list of inference steps that have antecedentsmatch the specified id.
getInstance() - Static method in class iw.model.PML
 
getInstance() - Static method in class iw.model.util.ConfigParamsLoader
 
getLanguage() - Method in interface iw.model.IWAxiom
Returns the language in which the axiom is encoded.
getLanguage() - Method in interface iw.model.IWLanguageAxiomSet
Returns the language to which the language axiom set corresponds
getLanguage() - Method in interface iw.model.IWNodeSet
Returns a String containing the URI of the language of the Nodeset.
getLanguage() - Method in interface iw.model.IWPrimitiveRule
Returns the language in which the rule is specified
getLanguage() - Method in interface iw.model.IWQuery
Returns the language in which the query is expressed
getLanguageName() - Method in interface iw.model.IWAxiom
Returns the name of the language in which the axiom is encoded.
getLastSubmissionDate() - Method in interface iw.model.IWModelElement
Returns the last submission date when the model element was first registered in IWBase
getLocalIWHomePath() - Static method in class iw.model.util.ConfigParamsLoader
 
getMemberNames() - Method in interface iw.model.IWTeam
Returns a list of strings corresponding to the names of the members of the team
getMemberURIs() - Method in interface iw.model.IWTeam
Returns a list of strings corresponding to the URIs of the members of the team
getMembers() - Method in interface iw.model.IWTeam
Returns a list of IWPersons of the members of the team
getMetaBindings() - Method in interface iw.model.IWInferenceStep
 
getModel() - Method in interface iw.model.IWModel
 
getModel() - Method in interface iw.model.IWModelElement
PROBLEM
getModel() - Method in class iw.model.util.IWDocModel
 
getModelElement(String, String) - Static method in class iw.model.IWBase
Looks up a model element looking up first on the entry cache then on the specified data source
getModelElement(String, String) - Static method in class iw.model.ProofConfig
 
getMonth() - Method in interface iw.model.IWPublication
Returns the month in which the publication was published
getNameSpace(String) - Method in class iw.model.util.IWDocModel
 
getNamespace() - Method in class iw.model.PML
 
getNodeByID(long) - Method in interface iw.model.IWNodeSetOccur
Recursively search this node and its descendents with specified id.
getNodeRegistryMappings() - Method in class iw.model.util.ConfigParamsLoader
 
getNodeSetID() - Method in interface iw.model.IWNodeSetOccur
Returns the id of this node.
getPlaceholder() - Method in interface iw.model.IWFillerMapping
 
getProof() - Method in interface iw.model.IWNodeSet
GUESS Returns the URI of the proof of which the Nodeset is a part of.
getPublishingURL() - Method in interface iw.model.IWModel
 
getQueries() - Method in interface iw.model.IWInferenceStep
PROBLEM
getQueryContent() - Method in interface iw.model.IWQuery
Returns the content of the query i.e.
getQueryString() - Method in interface iw.model.IWSourceUsage
 
getQuestion() - Method in interface iw.model.IWQuery
Returns an IWQuestion insance corresponding to the question asked in the query
getRegistrarURI() - Method in class iw.model.IWContext
 
getRegistryURI() - Method in class iw.model.IWContext
 
getRegistryUnixPath() - Method in class iw.model.IWContext
 
getRuleNodeSet() - Method in interface iw.model.IWDerivedRule
Returns the node set schema from which the derived rule is specified
getRuleSpec() - Method in interface iw.model.IWPrimitiveRule
Returns the specification of the primitive inference rule
getServicesURL() - Method in interface iw.model.IWModel
 
getShortName() - Method in interface iw.model.IWInferenceStep
PROBLEM
getShortName() - Method in interface iw.model.IWProofElement
Returns the short name of the proof element
getShortName() - Method in interface iw.model.IWProvenanceElement
Returns the short name of the provenance element
getShortNameFromURI(String) - Static method in class iw.model.IWBase
returns the short name of the concept of the model element pointed to by the URI _URI.
getShortNameFromURI(String) - Static method in class iw.model.ProofConfig
 
getSiteParameters() - Method in class iw.model.util.ConfigParamsLoader
 
getSource() - Method in interface iw.model.IWSourceUsage
Returns
getSourceNames() - Method in interface iw.model.IWProvenanceElement
PROBLEMM/b>
getSourceURIs() - Method in interface iw.model.IWProvenanceElement
PROBLEMM/b>
getSourceUsages() - Method in interface iw.model.IWInferenceStep
PROBLEM
getSources() - Method in interface iw.model.IWProvenanceElement
PROBLEM
getSpanFromByte() - Method in interface iw.model.IWSourceUsage
Returns
getSpanToByte() - Method in interface iw.model.IWSourceUsage
 
getStringFormat() - Method in interface iw.model.IWSourceUsage
 
getSubmitter() - Method in interface iw.model.IWProvenanceElement
Returns the submitter of the provenance element.
getSubmitter(HttpServletRequest) - Static method in class iw.model.util.ParameterHelper
 
getSubmitterByName(String) - Static method in class iw.model.util.ParameterHelper
 
getSubmitterName() - Method in interface iw.model.IWProvenanceElement
Returns the name of the submitter of the provenance element.
getTeamNoMembers(String, String) - Static method in class iw.model.IWBase
Reads a team (without loading its members) looking up first on the entry cache then on the specified data source
getTerm() - Method in interface iw.model.IWMetaBinding
 
getTerm() - Method in interface iw.model.IWVariableMapping
Returns the term of the variable mapping
getTime() - Method in interface iw.model.IWSourceUsage
 
getTimeStr(Calendar) - Static method in class iw.model.util.ParameterHelper
 
getToExpression() - Method in interface iw.model.IWTranslationRule
Returns the to expression of the translation rule
getToLanguage() - Method in interface iw.model.IWTranslationRule
Returns the to language of the translation rule
getURI(int, String) - Static method in class iw.model.IWBase
Constructs a URI for a model element which is of concept _concept and has name _name.
getURI() - Method in interface iw.model.IWModelElement
Returns the URI of the model element
getURI(int, String) - Static method in class iw.model.ProofConfig
 
getURL() - Method in interface iw.model.IWProvenanceElement
Returns the URI of the provenance element.
getVariable() - Method in interface iw.model.IWMetaBinding
 
getVariable() - Method in interface iw.model.IWVariableMapping
Returns the variable of the variable mapping
getVariableMappings() - Method in interface iw.model.IWInferenceStep
Returns the list of variable mappings for the inference step.
getVerificationMethod() - Method in interface iw.model.IWMethodRule
PROBLEM
getVersion() - Method in interface iw.model.IWInferenceEngine
Returns a string corresponding to the version of the engine
getVersion() - Method in interface iw.model.IWOntology
Returns the version of the ontology
getVisible() - Method in interface iw.model.IWNodeSetOccur
Return the visibility of this node when viewing.
getVisibleNodes() - Method in interface iw.model.IWNodeSetOccur
Returns a list of visible nodes for viewing.
getYear() - Method in interface iw.model.IWPublication
Returns the year in which the publication was published

H

hasAnswer - Static variable in class iw.model.PML
 
hasAnswer() - Method in class iw.model.PML
 
hasAnswer() - Method in interface iw.model.PMLVocabulary
 
hasAntecedent - Static variable in class iw.model.PML
 
hasAntecedent() - Method in class iw.model.PML
 
hasAntecedent() - Method in interface iw.model.PMLVocabulary
 
hasClass(String) - Method in class iw.model.util.IWDocModel
 
hasDischarge - Static variable in class iw.model.PML
 
hasDischarge() - Method in class iw.model.PML
 
hasDischarge() - Method in interface iw.model.PMLVocabulary
 
hasInferenceEngine - Static variable in class iw.model.PML
 
hasInferenceEngine() - Method in class iw.model.PML
 
hasInferenceEngine() - Method in interface iw.model.PMLVocabulary
 
hasProperty(String, String, boolean) - Method in class iw.model.util.IWDocModel
 
hasRule - Static variable in class iw.model.PML
 
hasRule() - Method in class iw.model.PML
 
hasRule() - Method in interface iw.model.PMLVocabulary
 
hasSpecialChars(String) - Static method in class iw.model.util.ProofUtils
 
hasVariableMapping - Static variable in class iw.model.PML
 
hasVariableMapping() - Method in class iw.model.PML
 
hasVariableMapping() - Method in interface iw.model.PMLVocabulary
 

I

IE - Static variable in class iw.model.util.Params
 
INDEX - Static variable in class iw.model.util.Params
 
INFERENCE_ENGINE - Static variable in class iw.model.IWBase
the IWBase concept number for inference engines
INFERENCE_ENGINE - Static variable in class iw.model.ProofConfig
 
INFERENCE_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for inference rules
INFERENCE_RULE - Static variable in class iw.model.ProofConfig
 
INFERENCE_STEP - Static variable in class iw.model.ProofConfig
 
INVALID_BINDING - Static variable in class iw.model.util.Params
 
INVALID_URL - Static variable in class iw.model.util.Params
 
IWAgent - interface iw.model.IWAgent.
This models the provenance information for the inference engines registered in IWBase.
IWAxiom - interface iw.model.IWAxiom.
Represents Axioms stored in IWBase.
IWBASE_HOME_URL - Static variable in class iw.model.IWContext
 
IWBase - class iw.model.IWBase.
The IWBase (formerly known as the IW Registry) is a hyperweb of distributed repositories of meta-information relevant to proofs and explanations, including knowledge provenance information.
IWBase() - Constructor for class iw.model.IWBase
 
IWConclusionFiller - interface iw.model.IWConclusionFiller.
 
IWContext - class iw.model.IWContext.
 
IWContext() - Constructor for class iw.model.IWContext
 
IWDeclarativeRule - interface iw.model.IWDeclarativeRule.
Models the class of declarative rules.
IWDerivedRule - interface iw.model.IWDerivedRule.
Models the class of derived inference rules in Inference Web.
IWDocModel - class iw.model.util.IWDocModel.
 
IWDocModel(String) - Constructor for class iw.model.util.IWDocModel
 
IWFillerAntecedent - interface iw.model.IWFillerAntecedent.
 
IWFillerMapping - interface iw.model.IWFillerMapping.
 
IWInferenceEngine - interface iw.model.IWInferenceEngine.
This models the provenance information for the inference engines registered in IWBase.
IWInferenceRule - interface iw.model.IWInferenceRule.
Models provenance information about inference rules in the IWBase.
IWInferenceStep - interface iw.model.IWInferenceStep.
Models inference steps within the inference web.
IWInferenceStepOccur - interface iw.model.IWInferenceStepOccur.
Models specific occurrence of inference steps.
IWLanguage - interface iw.model.IWLanguage.
Models the meta information about languages registered with the IWBase.
IWLanguageAxiomSet - interface iw.model.IWLanguageAxiomSet.
Models provenance information about language axiom steps in the Inference Web.
IWMetaBinding - interface iw.model.IWMetaBinding.
 
IWMethodRule - interface iw.model.IWMethodRule.
Models the class of declarative rules.
IWModel - interface iw.model.IWModel.
 
IWModelElement - interface iw.model.IWModelElement.
Models PML concepts.
IWModelUtil - class iw.model.IWModelUtil.
 
IWModelUtil() - Constructor for class iw.model.IWModelUtil
 
IWNodeSet - interface iw.model.IWNodeSet.
Interface IWNodeSet is the PML API specification of the functionality of PML Nodesets.
IWNodeSetOccur - interface iw.model.IWNodeSetOccur.
IWNodeSetOccur interface represents the actual "occurence" of a Nodeset is a proof.
IWOntology - interface iw.model.IWOntology.
Models the provenance information about ontologies registered in the IWBase.
IWOrganization - interface iw.model.IWOrganization.
Models the provenance information about organizations.
IWPerson - interface iw.model.IWPerson.
Models the provenance information about persons.
IWPrimitiveRule - interface iw.model.IWPrimitiveRule.
Models the class of primitive inference rules in Inference Web.
IWProofElement - interface iw.model.IWProofElement.
Parent class of proof level PML concepts like NodeSets, queries etc
IWProvenanceElement - interface iw.model.IWProvenanceElement.
Provenance Element represents an information unit describing the origin some PML proof level concept.
IWPublication - interface iw.model.IWPublication.
Models the provenance information about publications registered with the IWBase.
IWQuery - interface iw.model.IWQuery.
Represents queries that are asked to inference web applications.
IWQuestion - interface iw.model.IWQuestion.
PROBLEM
IWSource - interface iw.model.IWSource.
Source is provenance element used to model sources registered in the inference web.
IWSourceUsage - interface iw.model.IWSourceUsage.
Models Source Usage in Inference Web inference steps.
IWTeam - interface iw.model.IWTeam.
Models the provenance information about teams.
IWTranslationRule - interface iw.model.IWTranslationRule.
Models provenance information about translation rules registered in the IWBase.
IWVariableMapping - interface iw.model.IWVariableMapping.
Models variable mappings in Inference Web inference steps.
IWWebSite - interface iw.model.IWWebSite.
Models the provenance information about WebSites.
IW_HOME_URL - Static variable in class iw.model.IWContext
 
IW_SPEC_URL - Static variable in class iw.model.IWContext
 
InferenceStep - Static variable in class iw.model.PML
 
InferenceStep() - Method in class iw.model.PML
 
InferenceStep() - Method in interface iw.model.PMLVocabulary
 
imports - Static variable in class iw.model.PML
 
imports() - Method in class iw.model.PML
 
initSpecUris() - Static method in class iw.model.IWContext
 
insertAgent() - Method in interface iw.model.owl.db.DBAgent
 
insertAxiom() - Method in interface iw.model.owl.db.DBAxiom
 
insertDeclarativeRule() - Method in interface iw.model.owl.db.DBDeclarativeRule
 
insertDerivedRule() - Method in interface iw.model.owl.db.DBDerivedRule
 
insertInferenceEngine() - Method in interface iw.model.owl.db.DBInferenceEngine
 
insertInferenceRule() - Method in interface iw.model.owl.db.DBInferenceRule
 
insertLanguage() - Method in interface iw.model.owl.db.DBLanguage
 
insertLanguageAxiomSet() - Method in interface iw.model.owl.db.DBLanguageAxiomSet
 
insertMethodRule() - Method in interface iw.model.owl.db.DBMethodRule
 
insertOntology() - Method in interface iw.model.owl.db.DBOntology
 
insertOrganization() - Method in interface iw.model.owl.db.DBOrganization
 
insertPerson() - Method in interface iw.model.owl.db.DBPerson
 
insertPrimitiveRule() - Method in interface iw.model.owl.db.DBPrimitiveRule
 
insertPublication() - Method in interface iw.model.owl.db.DBPublication
 
insertQuestion() - Method in interface iw.model.owl.db.DBQuestion
 
insertTeam() - Method in interface iw.model.owl.db.DBTeam
 
insertTranslationRule() - Method in interface iw.model.owl.db.DBTranslationRule
 
insertWebSite() - Method in interface iw.model.owl.db.DBWebSite
 
isAxiom() - Method in interface iw.model.IWNodeSet
Returns true if and only if the Nodeset is an axiom.
isConsenquentOf() - Method in class iw.model.PML
 
isConsenquentOf() - Method in interface iw.model.PMLVocabulary
 
isConsequentOf - Static variable in class iw.model.PML
 
isCore() - Method in class iw.model.IWContext
 
isExplanationOf - Static variable in class iw.model.PML
 
isExplanationOf() - Method in class iw.model.PML
 
isExplanationOf() - Method in interface iw.model.PMLVocabulary
 
isFromEngine - Static variable in class iw.model.PML
 
isFromEngine() - Method in class iw.model.PML
 
isFromEngine() - Method in interface iw.model.PMLVocabulary
 
isFullLoaded() - Method in interface iw.model.IWNodeSet
PROBLEM
isOSWindows() - Static method in class iw.model.util.ConfigParamsLoader
 
isQueryFor - Static variable in class iw.model.PML
 
isQueryFor() - Method in class iw.model.PML
 
isQueryFor() - Method in interface iw.model.PMLVocabulary
 
isSource(String) - Static method in class iw.model.IWBase
Determines the concept given the URI of a source element.
iw.model - package iw.model
Provides interfaces for handling PML Java objects.
iw.model.owl - package iw.model.owl
Provides classes for parsing PML(/OWL/XML) documents into PML Java objects and for generating PML documents from PML Java objects.
iw.model.owl.db - package iw.model.owl.db
Provides IWBase support for handling PML provenance-relatad objects in a database.
iw.model.util - package iw.model.util
Provides IWBase support for handling Inference Web configuration file.
iwSpecURIStrs - Static variable in class iw.model.IWContext
 
iwSpecURIs - Static variable in class iw.model.IWContext
 
iw_URI - Static variable in class iw.model.IWContext
 

K

KSLIST - Static variable in class iw.model.util.Params
 

L

LANGUAGE - Static variable in class iw.model.IWBase
the IWBase concept number for languages
LANGUAGE - Static variable in class iw.model.ProofConfig
 
LANGUAGE_AXIOM_SET - Static variable in class iw.model.IWBase
the IWBase concept number for language axiom sets
LANGUAGE_AXIOM_SET - Static variable in class iw.model.ProofConfig
 
LG - Static variable in class iw.model.util.Params
 
LIST_PROVENANCE_ELEMENTS_URI - Variable in class iw.model.IWContext
 
LanguageAxiomSet - Static variable in class iw.model.PML
 
LanguageAxiomSet() - Method in class iw.model.PML
 
LanguageAxiomSet() - Method in interface iw.model.PMLVocabulary
 
listClasseNames() - Method in class iw.model.util.IWDocModel
 
listModelElements() - Method in interface iw.model.IWModel
 
listPropertyNames(String, boolean) - Method in class iw.model.util.IWDocModel
 
listSuperClassNames(String) - Method in class iw.model.util.IWDocModel
 
loadContext(String, String) - Static method in class iw.model.IWContext
 
loadModelElement(String, String) - Static method in class iw.model.IWBase
Loads a model element looking up on the specified data source directly (the cache does not play a role here)
loadModelElement(String, String) - Static method in class iw.model.ProofConfig
 

M

MAX_ENTRIES - Static variable in class iw.model.IWBase
The max capacity of IWBase
MAX_ENTRIES - Static variable in class iw.model.ProofConfig
 
METHOD_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for method rules
METHOD_RULE - Static variable in class iw.model.ProofConfig
 
makeNodeSetPath(long) - Method in interface iw.model.IWNodeSetOccur
 
markNodeVisible(long, boolean) - Method in interface iw.model.IWNodeSetOccur
Set the visibility of specific node.

N

NAMESPACE_IW - Static variable in class iw.model.PML
 
NAMESPACE_IW() - Method in class iw.model.PML
 
NAMESPACE_IW() - Method in interface iw.model.PMLVocabulary
 
NAMESPACE_IW_V6_URI - Static variable in interface iw.model.PMLVocabulary
 
NODESET - Static variable in class iw.model.ProofConfig
 
NO_IE - Static variable in class iw.model.util.Params
 
NO_INDEX - Static variable in class iw.model.util.Params
 
NO_LG - Static variable in class iw.model.util.Params
 
NO_NS - Static variable in class iw.model.util.Params
 
NO_NSCONT - Static variable in class iw.model.util.Params
 
NO_NSLIST - Static variable in class iw.model.util.Params
 
NO_QT - Static variable in class iw.model.util.Params
 
NO_QTCONT - Static variable in class iw.model.util.Params
 
NO_QY - Static variable in class iw.model.util.Params
 
NO_QYCONT - Static variable in class iw.model.util.Params
 
NO_QYLIST - Static variable in class iw.model.util.Params
 
NO_TRLIST - Static variable in class iw.model.util.Params
 
NO_URL - Static variable in class iw.model.util.Params
 
NO_VRLIST - Static variable in class iw.model.util.Params
 
NS - Static variable in class iw.model.util.Params
 
NSANT - Static variable in class iw.model.util.Params
 
NSCONT - Static variable in class iw.model.util.Params
 
NSDIS - Static variable in class iw.model.util.Params
 
NSLIST - Static variable in class iw.model.util.Params
 
NSROOT - Static variable in class iw.model.util.Params
 

O

ONTOLOGY - Static variable in class iw.model.IWBase
the IWBase concept number for ontologies
ONTOLOGY - Static variable in class iw.model.ProofConfig
 
ONTOLOGY_SOURCE - Static variable in class iw.model.IWBase
the IWBase concept number for ontology sources
ONTOLOGY_SOURCE - Static variable in class iw.model.ProofConfig
 
ORGANIZATION - Static variable in class iw.model.IWBase
the IWBase concept number for organizations
ORGANIZATION - Static variable in class iw.model.ProofConfig
 
OWLAgent - interface iw.model.owl.OWLAgent.
The OWL version of the Agent
OWLAxiom - interface iw.model.owl.OWLAxiom.
The OWL version of the IWAxiom interface
OWLConclusionFiller - interface iw.model.owl.OWLConclusionFiller.
 
OWLDeclarativeRule - interface iw.model.owl.OWLDeclarativeRule.
The OWL version of the IWDeclarativeRule interface
OWLDerivedRule - interface iw.model.owl.OWLDerivedRule.
The OWL version of the IWDerivedRule interface
OWLFillerAntecedent - interface iw.model.owl.OWLFillerAntecedent.
 
OWLFillerMapping - interface iw.model.owl.OWLFillerMapping.
The OWL version of the IWFillerMapping interface
OWLInferenceEngine - interface iw.model.owl.OWLInferenceEngine.
The OWL version of the IWInferenceEngine interface
OWLInferenceRule - interface iw.model.owl.OWLInferenceRule.
The OWL version of the IWDerivedRule interface
OWLInferenceStep - interface iw.model.owl.OWLInferenceStep.
The OWL version of the IWInferenceStep interface
OWLLanguage - interface iw.model.owl.OWLLanguage.
The OWL version of the IWLanguage interface
OWLLanguageAxiomSet - interface iw.model.owl.OWLLanguageAxiomSet.
The OWL version of the IWLanguageAxiomSet interface
OWLMetaBinding - interface iw.model.owl.OWLMetaBinding.
The OWL version of the IWVariableMapping interface
OWLMethodRule - interface iw.model.owl.OWLMethodRule.
The OWL version of the IWMethodRule interface
OWLModel - interface iw.model.owl.OWLModel.
The OWL version of the IWModel interface
OWLModelElement - interface iw.model.owl.OWLModelElement.
The OWL version of the IWModelElement interface
OWLNodeSet - interface iw.model.owl.OWLNodeSet.
The OWL version of the IWNodeSet interface
OWLOntology - interface iw.model.owl.OWLOntology.
The OWL version of the IWOntology interface
OWLOrganization - interface iw.model.owl.OWLOrganization.
 
OWLPerson - interface iw.model.owl.OWLPerson.
 
OWLPrimitiveRule - interface iw.model.owl.OWLPrimitiveRule.
 
OWLPublication - interface iw.model.owl.OWLPublication.
 
OWLQuery - interface iw.model.owl.OWLQuery.
 
OWLQuestion - interface iw.model.owl.OWLQuestion.
 
OWLSourceUsage - interface iw.model.owl.OWLSourceUsage.
 
OWLTeam - interface iw.model.owl.OWLTeam.
 
OWLTranslationRule - interface iw.model.owl.OWLTranslationRule.
 
OWLVariableMapping - interface iw.model.owl.OWLVariableMapping.
 
OWLWebSite - interface iw.model.owl.OWLWebSite.
 
origRegistryUri - Variable in class iw.model.IWContext
 

P

PERSON - Static variable in class iw.model.IWBase
the IWBase concept number for persons
PERSON - Static variable in class iw.model.ProofConfig
 
PML - class iw.model.PML.
 
PMLVocabulary - interface iw.model.PMLVocabulary.
 
PRIMITIVE_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for primitive rules
PRIMITIVE_RULE - Static variable in class iw.model.ProofConfig
 
PROOFS_UNIX_PATH - Static variable in class iw.model.ProofConfig
 
PROOFS_URI - Static variable in class iw.model.ProofConfig
 
PUBLICATION - Static variable in class iw.model.IWBase
the IWBase concept number for publications
PUBLICATION - Static variable in class iw.model.ProofConfig
 
ParameterHelper - class iw.model.util.ParameterHelper.
 
ParameterHelper() - Constructor for class iw.model.util.ParameterHelper
 
Params - class iw.model.util.Params.
 
Params() - Constructor for class iw.model.util.Params
 
ProofConfig - class iw.model.ProofConfig.
 
ProofConfig() - Constructor for class iw.model.ProofConfig
 
ProofHandler - class iw.model.util.ProofHandler.
 
ProofHandler() - Constructor for class iw.model.util.ProofHandler
 
ProofUtils - class iw.model.util.ProofUtils.
 
ProofUtils() - Constructor for class iw.model.util.ProofUtils
 

Q

QT - Static variable in class iw.model.util.Params
 
QTCONT - Static variable in class iw.model.util.Params
 
QUERY - Static variable in class iw.model.ProofConfig
 
QUESTION - Static variable in class iw.model.ProofConfig
 
QY - Static variable in class iw.model.util.Params
 
QYCONT - Static variable in class iw.model.util.Params
 
QYLIST - Static variable in class iw.model.util.Params
 
Query - Static variable in class iw.model.PML
 
Query() - Method in class iw.model.PML
 
Query() - Method in interface iw.model.PMLVocabulary
 
queryContent - Static variable in class iw.model.PML
 
queryContent() - Method in class iw.model.PML
 
queryContent() - Method in interface iw.model.PMLVocabulary
 

R

READING_IE - Static variable in class iw.model.util.Params
 
READING_KS(String) - Static method in class iw.model.util.Params
 
READING_NS - Static variable in class iw.model.util.Params
 
READING_QT - Static variable in class iw.model.util.Params
 
READING_QY - Static variable in class iw.model.util.Params
 
READING_RL - Static variable in class iw.model.util.Params
 
REGISTRAR_URI - Variable in class iw.model.IWContext
 
REGISTRY_UNIX_PATH - Variable in class iw.model.IWContext
 
REGISTRY_URI - Variable in class iw.model.IWContext
 
RL - Static variable in class iw.model.util.Params
 
ROOT_TEAM - Static variable in class iw.model.IWBase
data value for the submitter of the root team
rdf_URI - Static variable in class iw.model.IWContext
 
removeAntecedent(long) - Method in interface iw.model.IWNodeSetOccur
GUESS Removes the antecedent with the id antID without deleting the antecedent.
removeAntecedentNodeSetOccurrence(long) - Method in interface iw.model.IWInferenceStepOccur
Removes (without deleting) the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.
removeDerivedRule() - Method in interface iw.model.owl.OWLDerivedRule
 
removeFromCache(String) - Static method in class iw.model.IWBase
Removes the model element with the specified URI from the cache
removeInferenceRule(long) - Method in interface iw.model.IWNodeSetOccur
GUESS Remove inference rules associated with all inference steps of the node set occurrence with ID targetId.
replaceAll(String, String, String) - Static method in class iw.model.util.StringReplacer
 
replaceStringInConclusion(String, String) - Method in interface iw.model.IWNodeSetOccur
Recursively replace old string occurrences in conclusions with new string.

S

SOURCE - Static variable in class iw.model.IWBase
the IWBase concept number for sources
SOURCE - Static variable in class iw.model.ProofConfig
 
STYLE_DAG - Static variable in class iw.model.IWBase
 
STYLE_ENGLISH - Static variable in class iw.model.IWBase
 
STYLE_PROOF - Static variable in class iw.model.IWBase
 
StringComparatorIgnoreCase - class iw.model.util.StringComparatorIgnoreCase.
 
StringComparatorIgnoreCase() - Constructor for class iw.model.util.StringComparatorIgnoreCase
 
StringReplacer - class iw.model.util.StringReplacer.
 
StringReplacer() - Constructor for class iw.model.util.StringReplacer
 
setAnswer(String) - Method in interface iw.model.IWInferenceStep
PROBLEM
setAnswerPattern(String) - Method in interface iw.model.IWQuestion
PROBLEM
setAnswers(List) - Method in interface iw.model.IWQuery
Sets the list of Nodesets of the answers for the query
setAntecedentNodeSetOccurrenceVisible(String, boolean) - Method in interface iw.model.IWInferenceStepOccur
Sets the visibility of the antecedent with the URI inAntecedent to the boolean the value specified by visible
setAntecedentNodeSetOccurrences(List) - Method in interface iw.model.IWInferenceStepOccur
Sets the list of nodeset occurrence of the antecedents of the current inference step occurrence
setAntecedentNodes(List) - Method in interface iw.model.IWInferenceStep
Sets the list of antecedent node sets (not URIs) of the inference step.
setAntecedents(List) - Method in interface iw.model.IWFillerAntecedent
 
setAntecedents(List) - Method in interface iw.model.IWInferenceStep
Sets the list of antecedent node set URIs of the inference step.
setAntecedentsNodeId(long[]) - Method in interface iw.model.IWInferenceStepOccur
PROBLEM
setAssociatedSites(Map) - Method in class iw.model.IWContext
 
setAxioms(List) - Method in interface iw.model.IWDerivedRule
Sets the list of axioms used by the derived rule
setAxioms(List) - Method in interface iw.model.IWLanguageAxiomSet
Sets the list of axioms in the axiom set
setBrowserURI(String) - Method in class iw.model.IWContext
 
setConclusion(String) - Method in interface iw.model.IWNodeSet
Sets the conclusion of the Nodeset to newConclusion.
setConclusionFillers(List) - Method in interface iw.model.IWNodeSet
 
setConsequence(IWNodeSetOccur) - Method in interface iw.model.IWInferenceStepOccur
PROBLEM
setConsequence(IWNodeSetOccur) - Method in interface iw.model.IWNodeSetOccur
Set conclusion node for viewing.
setContent(String) - Method in interface iw.model.IWAxiom
Sets the content i.e.
setContent(String) - Method in interface iw.model.IWQuestion
Sets the content of the question (expressed in the language of the question)
setCurrentApp(String) - Method in class iw.model.IWContext
 
setDay(String) - Method in interface iw.model.IWPublication
Sets the day in which the publication was published
setDischarges(List) - Method in interface iw.model.IWInferenceStep
Sets the list of assumptions that are discharged by the inference step.
setDumpingURL(String) - Method in interface iw.model.IWModel
 
setEnglishDescription(String) - Method in interface iw.model.IWProvenanceElement
Sets the engligh description of a provenance element.
setEnglishDescriptionTemplate(String) - Method in interface iw.model.IWInferenceRule
Sets the english description template for the inference rule
setEnglishExample(String) - Method in interface iw.model.IWProvenanceElement
Sets the english example of the provenance element.
setEscapeCharacter(String) - Method in interface iw.model.IWLanguage
Sets the escape character of the language
setExplainerURI(String) - Method in class iw.model.IWContext
 
setExplanationURI(String) - Method in class iw.model.IWContext
 
setExplanationUnixPath(String) - Method in class iw.model.IWContext
 
setFileName(String) - Method in interface iw.model.IWProvenanceElement
Ssets the IWBase filename of the provenance element
setFiller(String) - Method in interface iw.model.IWFillerMapping
 
setFillerAntecedents(List) - Method in interface iw.model.IWConclusionFiller
 
setFillerMappings(List) - Method in interface iw.model.IWConclusionFiller
 
setFirstSubmissionDate(String) - Method in interface iw.model.IWModelElement
Sets the first submission date when the model element was first registered in IWBase
setFromExpression(String) - Method in interface iw.model.IWTranslationRule
Sets the from expression of the translation rule
setFromLanguage(IWLanguage) - Method in interface iw.model.IWTranslationRule
Sets the fromlanguage of the translation rule
setFullName(String) - Method in interface iw.model.IWProvenanceElement
Sets the full name of the provenance element
setIndex(int) - Method in interface iw.model.IWConclusionFiller
 
setIndex(int) - Method in interface iw.model.IWInferenceStep
 
setInferenceEngine(IWInferenceEngine) - Method in interface iw.model.IWInferenceStep
Sets the inference engine that produced the inference step
setInferenceEngine(IWInferenceEngine) - Method in interface iw.model.IWQuery
Sets the inference engine to the specified engine
setInferenceEngineRules(List) - Method in interface iw.model.IWInferenceEngine
Sets the list of inference rules used by the engine
setInferenceEngines(List) - Method in interface iw.model.IWAgent
Sets the list of inference engines used by the agent
setInferenceRule(IWInferenceRule) - Method in interface iw.model.IWInferenceStep
Sets the inference rule applied in the inference step
setInferenceStepIndex(int) - Method in interface iw.model.IWFillerAntecedent
 
setInferenceStepOccurrences(List) - Method in interface iw.model.IWNodeSetOccur
Sets the inference step occurence list to _newInferenceStepOccurrences.
setInferenceSteps(List) - Method in interface iw.model.IWNodeSet
Sets the list of inference steps in a Nodeset to the list provided.
setLanguage(IWLanguage) - Method in interface iw.model.IWAxiom
Sets the name of the language in which the axiom is encoded.
setLanguage(IWLanguage) - Method in interface iw.model.IWLanguageAxiomSet
Sets the language to which the language axiom set corresponds
setLanguage(String) - Method in interface iw.model.IWNodeSet
Sets the language URI of the nodeset to the specified string.
setLanguage(IWLanguage) - Method in interface iw.model.IWPrimitiveRule
Sets the language in which the rule is specified
setLanguage(IWLanguage) - Method in interface iw.model.IWQuery
Sets the language in which the query is expressed
setLastSubmissionDate(String) - Method in interface iw.model.IWModelElement
Sets the last submission date when the model element was first registered in IWBase
setMetaBindings(List) - Method in interface iw.model.IWInferenceStep
 
setModel(OntModel) - Method in interface iw.model.IWModelElement
PROBLEM
setMonth(String) - Method in interface iw.model.IWPublication
Sets the month in which the publication was published
setNodeSetID(long[], boolean) - Method in interface iw.model.IWNodeSetOccur
Set the id of this node.
setNodesVisible(boolean, boolean) - Method in interface iw.model.IWNodeSetOccur
Recursively set nodesets visibility for viewing.
setPlaceholder(String) - Method in interface iw.model.IWFillerMapping
 
setProof(String) - Method in interface iw.model.IWNodeSet
GUESS Sets the proof URI of the Nodeset to the specified string.
setPublishingURL(String) - Method in interface iw.model.IWModel
 
setQueries(List) - Method in interface iw.model.IWInferenceStep
PROBLEM
setQueryContent(String) - Method in interface iw.model.IWQuery
Sets the content of the query i.e.
setQueryString(String) - Method in interface iw.model.IWSourceUsage
 
setQuestion(IWQuestion) - Method in interface iw.model.IWQuery
Sets the question of a query to the specified IWQuestion insance
setRegistrarURI(String) - Method in class iw.model.IWContext
 
setRegistryURI(String) - Method in class iw.model.IWContext
 
setRegistryUnixPath(String) - Method in class iw.model.IWContext
 
setRuleNodeSet(IWNodeSet) - Method in interface iw.model.IWDerivedRule
Sets the node set schema from which the derived rule is specified
setRuleSpec(String) - Method in interface iw.model.IWPrimitiveRule
Sets the specification of the primitive inference rule
setServicesURL(String) - Method in interface iw.model.IWModel
 
setShortName(String) - Method in interface iw.model.IWInferenceStep
PROBLEM
setShortName(String) - Method in interface iw.model.IWProofElement
Sets the short name of the proof element
setShortName(String) - Method in interface iw.model.IWProvenanceElement
Sets the short name of the provenance element
setSource(IWSource) - Method in interface iw.model.IWSourceUsage
Sets
setSourceUsages(List) - Method in interface iw.model.IWInferenceStep
PROBLEM
setSources(List) - Method in interface iw.model.IWProvenanceElement
PROBLEMM/b>
setSpanFromByte(int) - Method in interface iw.model.IWSourceUsage
Sets
setSpanToByte(int) - Method in interface iw.model.IWSourceUsage
 
setStringFormat(String) - Method in interface iw.model.IWSourceUsage
 
setSubmitter(IWTeam) - Method in interface iw.model.IWProvenanceElement
Sets the submitter of the provenance element.
setTerm(String) - Method in interface iw.model.IWMetaBinding
 
setTerm(String) - Method in interface iw.model.IWVariableMapping
Sets the term of the variable mapping
setTime(String) - Method in interface iw.model.IWSourceUsage
 
setToExpression(String) - Method in interface iw.model.IWTranslationRule
Sets the to expression of the translation rule
setToLanguage(IWLanguage) - Method in interface iw.model.IWTranslationRule
Sets the to language of the translation rule
setURI(String) - Method in interface iw.model.IWModelElement
Sets the URI of the model element
setURL(String) - Method in interface iw.model.IWProvenanceElement
Sets the URI of the provenance element.
setVariable(String) - Method in interface iw.model.IWMetaBinding
 
setVariable(String) - Method in interface iw.model.IWVariableMapping
Sets the variable of the variable mapping
setVariableMappings(List) - Method in interface iw.model.IWInferenceStep
Sets the list of variable mappings for the inference step.
setVerificationMethod(String) - Method in interface iw.model.IWMethodRule
PROBLEM
setVersion(String) - Method in interface iw.model.IWInferenceEngine
Sets a string corresponding to the version of the engine
setVersion(String) - Method in interface iw.model.IWOntology
Sets the version of the ontology
setVisible(boolean) - Method in interface iw.model.IWNodeSetOccur
Set the visibility of this node for viewing.
setYear(String) - Method in interface iw.model.IWPublication
Sets the year in which the publication was published
specModel - Static variable in class iw.model.IWContext
 
storeAgent() - Method in interface iw.model.owl.OWLAgent
Stores the Agent in a file as an OWL document
storeAgent(Hashtable) - Method in interface iw.model.owl.OWLAgent
PROBLEM
storeAxiom() - Method in interface iw.model.owl.OWLAxiom
Stores the axiom in a file as an OWL document
storeAxiom(Hashtable) - Method in interface iw.model.owl.OWLAxiom
PROBLEM
storeDeclarativeRule() - Method in interface iw.model.owl.OWLDeclarativeRule
Stores the declarative rule in a file as an OWL document
storeDeclarativeRule(Hashtable) - Method in interface iw.model.owl.OWLDeclarativeRule
PROBLEM
storeDerivedRule() - Method in interface iw.model.owl.OWLDerivedRule
 
storeDerivedRule(Hashtable) - Method in interface iw.model.owl.OWLDerivedRule
 
storeInferenceEngine() - Method in interface iw.model.owl.OWLInferenceEngine
Stores the inference engine in a file as an OWL document
storeInferenceEngine(Hashtable) - Method in interface iw.model.owl.OWLInferenceEngine
PROBLEM
storeInferenceRule() - Method in interface iw.model.owl.OWLInferenceRule
Stores the inference rule in a file as an OWL document
storeInferenceRule(Hashtable) - Method in interface iw.model.owl.OWLInferenceRule
PROBLEM
storeLanguage() - Method in interface iw.model.owl.OWLLanguage
Stores the language to a file as an OWL document
storeLanguage(Hashtable) - Method in interface iw.model.owl.OWLLanguage
PROBLEM
storeLanguageAxiomSet() - Method in interface iw.model.owl.OWLLanguageAxiomSet
Stores the language axiom set in a file as an OWL document
storeLanguageAxiomSet(Hashtable) - Method in interface iw.model.owl.OWLLanguageAxiomSet
PROBLEM
storeMethodRule() - Method in interface iw.model.owl.OWLMethodRule
Stores the method rule to a file as an OWL document
storeMethodRule(Hashtable) - Method in interface iw.model.owl.OWLMethodRule
PROBLEM
storeModelElement() - Method in interface iw.model.owl.OWLModelElement
Stores the ModelElement to a file as an OWL document
storeNodeSet(String, Hashtable) - Method in interface iw.model.owl.OWLNodeSet
PROBLEM
storeNodeSet(String) - Method in interface iw.model.owl.OWLNodeSet
Stores the nodeset to a file as an OWL document
storeNodeSet(String, Hashtable) - Method in interface iw.model.owl.db.DBNodeSet
 
storeNodeSet(String) - Method in interface iw.model.owl.db.DBNodeSet
 
storeOntology() - Method in interface iw.model.owl.OWLOntology
Stores the ontology to a file as an OWL document
storeOntology(Hashtable) - Method in interface iw.model.owl.OWLOntology
PROBLEM
storeOrganization() - Method in interface iw.model.owl.OWLOrganization
 
storeOrganization(Hashtable) - Method in interface iw.model.owl.OWLOrganization
PROBLEM
storePerson() - Method in interface iw.model.owl.OWLPerson
 
storePerson(Hashtable) - Method in interface iw.model.owl.OWLPerson
PROBLEM
storePrimitiveRule() - Method in interface iw.model.owl.OWLPrimitiveRule
 
storePrimitiveRule(Hashtable) - Method in interface iw.model.owl.OWLPrimitiveRule
PROBLEM
storePublication() - Method in interface iw.model.owl.OWLPublication
 
storePublication(Hashtable) - Method in interface iw.model.owl.OWLPublication
PROBLEM
storeQuery(String, Hashtable) - Method in interface iw.model.owl.OWLQuery
 
storeQuery(String) - Method in interface iw.model.owl.OWLQuery
 
storeQueryByURL(String) - Method in interface iw.model.owl.OWLQuery
 
storeQuestion() - Method in interface iw.model.owl.OWLQuestion
 
storeQuestion(Hashtable) - Method in interface iw.model.owl.OWLQuestion
PROBLEM
storeTeam() - Method in interface iw.model.owl.OWLTeam
 
storeTeam(Hashtable) - Method in interface iw.model.owl.OWLTeam
 
storeTranslationRule() - Method in interface iw.model.owl.OWLTranslationRule
 
storeTranslationRule(Hashtable) - Method in interface iw.model.owl.OWLTranslationRule
 
storeWebSite() - Method in interface iw.model.owl.OWLWebSite
 
storeWebSite(Hashtable) - Method in interface iw.model.owl.OWLWebSite
PROBLEM

T

TEAM - Static variable in class iw.model.IWBase
the IWBase concept number for teams
TEAM - Static variable in class iw.model.ProofConfig
 
TRANSLATION_RULE - Static variable in class iw.model.IWBase
the IWBase concept number for translation rules
TRANSLATION_RULE - Static variable in class iw.model.ProofConfig
 
TRLIST - Static variable in class iw.model.util.Params
 
TemporaryNodeRegistryMappings - Static variable in class iw.model.IWContext
 
toFiles() - Method in interface iw.model.owl.OWLModel
PROBLEM
toHash(Hashtable) - Method in interface iw.model.owl.OWLModel
PROBLEM
toString() - Method in interface iw.model.IWQuestion
Equivalent to getContent

U

UNREGISTERED_URL(String) - Static method in class iw.model.util.Params
 
URL - Static variable in class iw.model.util.Params
 
updateAgent() - Method in interface iw.model.owl.db.DBAgent
 
updateAxiom() - Method in interface iw.model.owl.db.DBAxiom
 
updateDeclarativeRule() - Method in interface iw.model.owl.db.DBDeclarativeRule
 
updateDerivedRule() - Method in interface iw.model.owl.db.DBDerivedRule
 
updateInferenceEngine() - Method in interface iw.model.owl.db.DBInferenceEngine
 
updateInferenceRule() - Method in interface iw.model.owl.db.DBInferenceRule
 
updateLanguage() - Method in interface iw.model.owl.db.DBLanguage
 
updateLanguageAxiomSet() - Method in interface iw.model.owl.db.DBLanguageAxiomSet
 
updateMethodRule() - Method in interface iw.model.owl.db.DBMethodRule
 
updateOntology() - Method in interface iw.model.owl.db.DBOntology
 
updateOrganization() - Method in interface iw.model.owl.db.DBOrganization
 
updatePerson() - Method in interface iw.model.owl.db.DBPerson
 
updatePrimitiveRule() - Method in interface iw.model.owl.db.DBPrimitiveRule
 
updatePublication() - Method in interface iw.model.owl.db.DBPublication
 
updateQuestion() - Method in interface iw.model.owl.db.DBQuestion
 
updateTeam() - Method in interface iw.model.owl.db.DBTeam
 
updateTranslationRule() - Method in interface iw.model.owl.db.DBTranslationRule
 
updateWebSite() - Method in interface iw.model.owl.db.DBWebSite
 

V

VERBOSE - Static variable in class iw.model.util.Params
 
VRLIST - Static variable in class iw.model.util.Params
 
versionInfo - Static variable in class iw.model.PML
 
versionInfo() - Method in class iw.model.PML
 

W

WEBSITE - Static variable in class iw.model.IWBase
the IWBase concept number for Website
WFF - Static variable in class iw.model.PML
 
WFF() - Method in class iw.model.PML
 
WFF() - Method in interface iw.model.PMLVocabulary
 
wffContent - Static variable in class iw.model.PML
 
wffContent() - Method in class iw.model.PML
 
wffContent() - Method in interface iw.model.PMLVocabulary
 
wffOntology - Static variable in class iw.model.PML
 
wffOntology() - Method in class iw.model.PML
 
wffOntology() - Method in interface iw.model.PMLVocabulary
 
wrapSpecialChars(String) - Static method in class iw.model.util.ProofUtils
 

_

_entries - Static variable in class iw.model.IWBase
 
_entries - Static variable in class iw.model.ProofConfig
 
_instance - Static variable in class iw.model.IWBase
A static instance of the IWBase class
_instance - Static variable in class iw.model.ProofConfig
 
A B C D E F G H I K L M N O P Q R S T U V W _
Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright 2006 Inference Web group, All Rights Reserved.