iw.model
Class ProofConfig

java.lang.Object
  iw.model.ProofConfig

public class ProofConfig

extends java.lang.Object

Field Summary

protected static java.util.HashMap	_entries
static ProofConfig	_instance
static java.lang.String	ABBREV_AXIOM
static java.lang.String	ABBREV_DECLARATIVE_RULE
static java.lang.String	ABBREV_DERIVED_RULE
static java.lang.String	ABBREV_INFERENCE_ENGINE
static java.lang.String	ABBREV_INFERENCE_STEP
static java.lang.String	ABBREV_LANGUAGE
static java.lang.String	ABBREV_LANGUAGE_AXIOM_SET
static java.lang.String	ABBREV_METHOD_RULE
static java.lang.String	ABBREV_NODESET
static java.lang.String	ABBREV_ONTOLOGY
static java.lang.String	ABBREV_ORGANIZATION
static java.lang.String	ABBREV_PERSON
static java.lang.String	ABBREV_PUBLICATION
static java.lang.String	ABBREV_QUERY
static java.lang.String	ABBREV_QUESTION
static java.lang.String	ABBREV_TEAM
static java.lang.String	ABBREV_TRANSLATION_RULE
static int	AXIOM
static java.lang.String	BASE_FILENAME_AXIOM
static java.lang.String	BASE_FILENAME_DECLARATIVE_RULE
static java.lang.String	BASE_FILENAME_DERIVED_RULE
static java.lang.String	BASE_FILENAME_INF_ENGINE
static java.lang.String	BASE_FILENAME_INFERENCE_STEP
static java.lang.String	BASE_FILENAME_LANGUAGE
static java.lang.String	BASE_FILENAME_LANGUAGE_AXIOM_SET
static java.lang.String	BASE_FILENAME_METHOD_RULE
static java.lang.String	BASE_FILENAME_NODESET
static java.lang.String	BASE_FILENAME_ONTOLOGY
static java.lang.String	BASE_FILENAME_ORGANIZATION
static java.lang.String	BASE_FILENAME_PERSON
static java.lang.String	BASE_FILENAME_PUBLICATION
static java.lang.String	BASE_FILENAME_QUERY
static java.lang.String	BASE_FILENAME_QUESTION
static java.lang.String	BASE_FILENAME_TEAM
static java.lang.String	BASE_FILENAME_TRANSLATION_RULE
static java.lang.String	BASE_URI_AXIOM
static java.lang.String	BASE_URI_DECLARATIVE_RULE
static java.lang.String	BASE_URI_DERIVED_RULE
static java.lang.String	BASE_URI_INF_ENGINE
static java.lang.String	BASE_URI_INFERENCE_STEP
static java.lang.String	BASE_URI_LANGUAGE
static java.lang.String	BASE_URI_LANGUAGE_AXIOM_SET
static java.lang.String	BASE_URI_METHOD_RULE
static java.lang.String	BASE_URI_NODESET
static java.lang.String	BASE_URI_ONTOLOGY
static java.lang.String	BASE_URI_ORGANIZATION
static java.lang.String	BASE_URI_PERSON
static java.lang.String	BASE_URI_PUBLICATION
static java.lang.String	BASE_URI_QUERY
static java.lang.String	BASE_URI_QUESTION
static java.lang.String	BASE_URI_TEAM
static java.lang.String	BASE_URI_TRANSLATION_RULE
static int	DECLARATIVE_RULE
static java.lang.String	DEFAULT_DER_RULE_SPEC_NAME
static java.lang.String	DEFAULT_EXT
static int	DERIVED_RULE
static int	INFERENCE_ENGINE
static int	INFERENCE_RULE
static int	INFERENCE_STEP
static int	LANGUAGE
static int	LANGUAGE_AXIOM_SET
static int	MAX_ENTRIES
static int	METHOD_RULE
static int	NODESET
static int	ONTOLOGY
static int	ONTOLOGY_SOURCE
static int	ORGANIZATION
static int	PERSON
static int	PRIMITIVE_RULE
static java.lang.String	PROOFS_UNIX_PATH
static java.lang.String	PROOFS_URI
static int	PUBLICATION
static int	QUERY
static int	QUESTION
static int	SOURCE
static int	TEAM
static int	TRANSLATION_RULE

Constructor Summary

ProofConfig()

Method Summary

static IWModelElement	createModelElement(java.lang.String _fromURI)
static boolean	exists(int _concept, java.lang.String _name)
static boolean	exists(java.lang.String _URLStr)
static int	getConcept(java.lang.String _URI)
static java.lang.String	getDRSpecURI(java.lang.String _DRname)
static java.lang.String	getFileName(IWModelElement _e)
static IWModelElement	getModelElement(java.lang.String _fromURI, java.lang.String _dataSource)
static java.lang.String	getShortNameFromURI(java.lang.String _URI)
static java.lang.String	getURI(int _concept, java.lang.String _name)
static IWModelElement	loadModelElement(java.lang.String _fromURI, java.lang.String _dataSource)

Methods inherited from class java.lang.Object

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

Field Detail

MAX_ENTRIES

public static final int MAX_ENTRIES

See Also:

Constant Field Values

_instance

public static final ProofConfig _instance

_entries

protected static java.util.HashMap _entries

INFERENCE_ENGINE

public static final int INFERENCE_ENGINE

See Also:

Constant Field Values

PRIMITIVE_RULE

public static final int PRIMITIVE_RULE

See Also:

Constant Field Values

ONTOLOGY

public static final int ONTOLOGY

See Also:

Constant Field Values

ORGANIZATION

public static final int ORGANIZATION

See Also:

Constant Field Values

SOURCE

public static final int SOURCE

See Also:

Constant Field Values

LANGUAGE_AXIOM_SET

public static final int LANGUAGE_AXIOM_SET

See Also:

Constant Field Values

AXIOM

public static final int AXIOM

See Also:

Constant Field Values

DERIVED_RULE

public static final int DERIVED_RULE

See Also:

Constant Field Values

LANGUAGE

public static final int LANGUAGE

See Also:

Constant Field Values

INFERENCE_RULE

public static final int INFERENCE_RULE

See Also:

Constant Field Values

ONTOLOGY_SOURCE

public static final int ONTOLOGY_SOURCE

See Also:

Constant Field Values

TEAM

public static final int TEAM

See Also:

Constant Field Values

PERSON

public static final int PERSON

See Also:

Constant Field Values

PUBLICATION

public static final int PUBLICATION

See Also:

Constant Field Values

DECLARATIVE_RULE

public static final int DECLARATIVE_RULE

See Also:

Constant Field Values

METHOD_RULE

public static final int METHOD_RULE

See Also:

Constant Field Values

TRANSLATION_RULE

public static final int TRANSLATION_RULE

See Also:

Constant Field Values

QUESTION

public static final int QUESTION

See Also:

Constant Field Values

QUERY

public static final int QUERY

See Also:

Constant Field Values

INFERENCE_STEP

public static final int INFERENCE_STEP

See Also:

Constant Field Values

NODESET

public static final int NODESET

See Also:

Constant Field Values

PROOFS_UNIX_PATH

public static final java.lang.String PROOFS_UNIX_PATH

See Also:

Constant Field Values

PROOFS_URI

public static final java.lang.String PROOFS_URI

See Also:

Constant Field Values

ABBREV_QUESTION

public static final java.lang.String ABBREV_QUESTION

See Also:

Constant Field Values

ABBREV_QUERY

public static final java.lang.String ABBREV_QUERY

See Also:

Constant Field Values

ABBREV_INFERENCE_STEP

public static final java.lang.String ABBREV_INFERENCE_STEP

See Also:

Constant Field Values

ABBREV_NODESET

public static final java.lang.String ABBREV_NODESET

See Also:

Constant Field Values

ABBREV_INFERENCE_ENGINE

public static final java.lang.String ABBREV_INFERENCE_ENGINE

See Also:

Constant Field Values

ABBREV_ORGANIZATION

public static final java.lang.String ABBREV_ORGANIZATION

See Also:

Constant Field Values

ABBREV_LANGUAGE_AXIOM_SET

public static final java.lang.String ABBREV_LANGUAGE_AXIOM_SET

See Also:

Constant Field Values

ABBREV_AXIOM

public static final java.lang.String ABBREV_AXIOM

See Also:

Constant Field Values

ABBREV_DERIVED_RULE

public static final java.lang.String ABBREV_DERIVED_RULE

See Also:

Constant Field Values

ABBREV_LANGUAGE

public static final java.lang.String ABBREV_LANGUAGE

See Also:

Constant Field Values

ABBREV_ONTOLOGY

public static final java.lang.String ABBREV_ONTOLOGY

See Also:

Constant Field Values

ABBREV_TEAM

public static final java.lang.String ABBREV_TEAM

See Also:

Constant Field Values

ABBREV_PERSON

public static final java.lang.String ABBREV_PERSON

See Also:

Constant Field Values

ABBREV_PUBLICATION

public static final java.lang.String ABBREV_PUBLICATION

See Also:

Constant Field Values

ABBREV_DECLARATIVE_RULE

public static final java.lang.String ABBREV_DECLARATIVE_RULE

See Also:

Constant Field Values

ABBREV_METHOD_RULE

public static final java.lang.String ABBREV_METHOD_RULE

See Also:

Constant Field Values

ABBREV_TRANSLATION_RULE

public static final java.lang.String ABBREV_TRANSLATION_RULE

See Also:

Constant Field Values

BASE_FILENAME_QUESTION

public static final java.lang.String BASE_FILENAME_QUESTION

See Also:

Constant Field Values

BASE_FILENAME_QUERY

public static final java.lang.String BASE_FILENAME_QUERY

See Also:

Constant Field Values

BASE_FILENAME_INFERENCE_STEP

public static final java.lang.String BASE_FILENAME_INFERENCE_STEP

See Also:

Constant Field Values

BASE_FILENAME_NODESET

public static final java.lang.String BASE_FILENAME_NODESET

See Also:

Constant Field Values

BASE_FILENAME_INF_ENGINE

public static final java.lang.String BASE_FILENAME_INF_ENGINE

BASE_FILENAME_ORGANIZATION

public static final java.lang.String BASE_FILENAME_ORGANIZATION

BASE_FILENAME_LANGUAGE_AXIOM_SET

public static final java.lang.String BASE_FILENAME_LANGUAGE_AXIOM_SET

BASE_FILENAME_AXIOM

public static final java.lang.String BASE_FILENAME_AXIOM

BASE_FILENAME_DERIVED_RULE

public static final java.lang.String BASE_FILENAME_DERIVED_RULE

BASE_FILENAME_LANGUAGE

public static final java.lang.String BASE_FILENAME_LANGUAGE

BASE_FILENAME_ONTOLOGY

public static final java.lang.String BASE_FILENAME_ONTOLOGY

BASE_FILENAME_TEAM

public static final java.lang.String BASE_FILENAME_TEAM

BASE_FILENAME_PERSON

public static final java.lang.String BASE_FILENAME_PERSON

BASE_FILENAME_PUBLICATION

public static final java.lang.String BASE_FILENAME_PUBLICATION

BASE_FILENAME_DECLARATIVE_RULE

public static final java.lang.String BASE_FILENAME_DECLARATIVE_RULE

BASE_FILENAME_METHOD_RULE

public static final java.lang.String BASE_FILENAME_METHOD_RULE

BASE_FILENAME_TRANSLATION_RULE

public static final java.lang.String BASE_FILENAME_TRANSLATION_RULE

BASE_URI_QUESTION

public static final java.lang.String BASE_URI_QUESTION

See Also:

Constant Field Values

BASE_URI_QUERY

public static final java.lang.String BASE_URI_QUERY

See Also:

Constant Field Values

BASE_URI_INFERENCE_STEP

public static final java.lang.String BASE_URI_INFERENCE_STEP

See Also:

Constant Field Values

BASE_URI_NODESET

public static final java.lang.String BASE_URI_NODESET

See Also:

Constant Field Values

BASE_URI_INF_ENGINE

public static final java.lang.String BASE_URI_INF_ENGINE

BASE_URI_ORGANIZATION

public static final java.lang.String BASE_URI_ORGANIZATION

BASE_URI_LANGUAGE_AXIOM_SET

public static final java.lang.String BASE_URI_LANGUAGE_AXIOM_SET

BASE_URI_AXIOM

public static final java.lang.String BASE_URI_AXIOM

BASE_URI_DERIVED_RULE

public static final java.lang.String BASE_URI_DERIVED_RULE

BASE_URI_LANGUAGE

public static final java.lang.String BASE_URI_LANGUAGE

BASE_URI_ONTOLOGY

public static final java.lang.String BASE_URI_ONTOLOGY

BASE_URI_TEAM

public static final java.lang.String BASE_URI_TEAM

BASE_URI_PERSON

public static final java.lang.String BASE_URI_PERSON

BASE_URI_PUBLICATION

public static final java.lang.String BASE_URI_PUBLICATION

BASE_URI_DECLARATIVE_RULE

public static final java.lang.String BASE_URI_DECLARATIVE_RULE

BASE_URI_METHOD_RULE

public static final java.lang.String BASE_URI_METHOD_RULE

BASE_URI_TRANSLATION_RULE

public static final java.lang.String BASE_URI_TRANSLATION_RULE

DEFAULT_DER_RULE_SPEC_NAME

public static final java.lang.String DEFAULT_DER_RULE_SPEC_NAME

See Also:

Constant Field Values

DEFAULT_EXT

public static final java.lang.String DEFAULT_EXT

See Also:

Constant Field Values

Constructor Detail

ProofConfig

public ProofConfig()

Method Detail

createModelElement

public static IWModelElement createModelElement(java.lang.String _fromURI)

getModelElement

public static IWModelElement getModelElement(java.lang.String _fromURI,
                                             java.lang.String _dataSource)
                                      throws java.lang.Exception

Throws:

java.lang.Exception

loadModelElement

public static IWModelElement loadModelElement(java.lang.String _fromURI,
                                              java.lang.String _dataSource)
                                       throws java.lang.Exception

Throws:

java.lang.Exception

getFileName

public static java.lang.String getFileName(IWModelElement _e)

exists

public static boolean exists(int _concept,
                             java.lang.String _name)

exists

public static boolean exists(java.lang.String _URLStr)

getURI

public static java.lang.String getURI(int _concept,
                                      java.lang.String _name)

getShortNameFromURI

public static java.lang.String getShortNameFromURI(java.lang.String _URI)

getConcept

public static int getConcept(java.lang.String _URI)

getDRSpecURI

public static java.lang.String getDRSpecURI(java.lang.String _DRname)