|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectiw.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. Every entry in these repositories is an instance of an IWBase concept. For example, Ontology is an IWBase concept that is the superclass of entries representing: ontologies, knowledge bases, thesauri, etc. An ontology entry describes stores of assertions about the ontology such as its original creator(s), date of creation, data of last update, version, URL (for browsing), description in English, etc. IWBase's provenance information is expanding on an as-needed basis driven by application demands. Every entry has a URI and is stored both as a file written in OWL and as a set of tuples in a database. IWBase files are mainly used by PML proofs to annotate their content as described throughout this article.
| Field Summary | |
protected static java.util.HashMap |
_entries
|
static IWBase |
_instance
A static instance of the IWBase class |
static java.lang.String |
ABBREV_AGENT
the IWBase concept abbreviation for agents |
static java.lang.String |
ABBREV_AXIOM
the IWBase concept abbreviation for axioms |
static java.lang.String |
ABBREV_DECLARATIVE_RULE
the IWBase concept abbreviation for declarative rules |
static java.lang.String |
ABBREV_DERIVED_RULE
the IWBase concept abbreviation for derived rules |
static java.lang.String |
ABBREV_INFERENCE_ENGINE
the IWBase concept abbreviation for inference engines |
static java.lang.String |
ABBREV_LANGUAGE
the IWBase concept abbreviation for languages |
static java.lang.String |
ABBREV_LANGUAGE_AXIOM_SET
the IWBase concept abbreviation for language axiom sets |
static java.lang.String |
ABBREV_METHOD_RULE
the IWBase concept abbreviation for method rules |
static java.lang.String |
ABBREV_ONTOLOGY
the IWBase concept abbreviation for ontologies |
static java.lang.String |
ABBREV_ORGANIZATION
the IWBase concept abbreviation for organizations |
static java.lang.String |
ABBREV_PERSON
the IWBase concept abbreviation for persons |
static java.lang.String |
ABBREV_PUBLICATION
the IWBase concept abbreviation for publications |
static java.lang.String |
ABBREV_TEAM
the IWBase concept abbreviation for teams |
static java.lang.String |
ABBREV_TRANSLATION_RULE
the IWBase concept abbreviation for translation rules |
static java.lang.String |
ABBREV_WEBSITE
the IWBase concept abbreviation for websites |
static int |
AGENT
the IWBase concept number for agents |
static java.lang.String |
ASSUMPTION_URI
The URI of the Assumption inference rule, which is a default primitive inference rule |
static int |
AXIOM
the IWBase concept number for axioms |
static java.lang.String |
BASE_FILENAME_AGENT
the IWBase concept base filename for agents (basically REGISTRY_PATH + ABBREV_AGENT) |
static java.lang.String |
BASE_FILENAME_AXIOM
the IWBase concept base filename for axioms (basically REGISTRY_PATH + ABBREV_AXIOMS) |
static java.lang.String |
BASE_FILENAME_DECLARATIVE_RULE
the IWBase concept base filename for declarative rules (basically REGISTRY_PATH + ABBREV_DECLARATIVE_RULE) |
static java.lang.String |
BASE_FILENAME_DERIVED_RULE
the IWBase concept base filename for derived rules (basically REGISTRY_PATH + ABBREV_DERIVED_RULES) |
static java.lang.String |
BASE_FILENAME_INF_ENGINE
the IWBase concept base filename for inference engines (basically REGISTRY_PATH + ABBREV_INFERENCE_ENGINE) |
static java.lang.String |
BASE_FILENAME_LANGUAGE
the IWBase concept base filename for languages (basically REGISTRY_PATH + ABBREV_LANGUAGES) |
static java.lang.String |
BASE_FILENAME_LANGUAGE_AXIOM_SET
the IWBase concept base filename for language axiom sets (basically REGISTRY_PATH + ABBREV_LANGUAGE_AXIOM_SETS) |
static java.lang.String |
BASE_FILENAME_METHOD_RULE
the IWBase concept base filename for method rules (basically REGISTRY_PATH + ABBREV_METHOD_RULES) |
static java.lang.String |
BASE_FILENAME_ONTOLOGY
the IWBase concept base filename for ontologies (basically REGISTRY_PATH + ABBREV_ONTOLOGY) |
static java.lang.String |
BASE_FILENAME_ORGANIZATION
the IWBase concept base filename for organizations (basically REGISTRY_PATH + ABBREV_ORGANIZATION) |
static java.lang.String |
BASE_FILENAME_PERSON
the IWBase concept base filename for person (basically REGISTRY_PATH + ABBREV_PERSON) |
static java.lang.String |
BASE_FILENAME_PUBLICATION
the IWBase concept base filename for publication (basically REGISTRY_PATH + ABBREV_PUBLICATION) |
static java.lang.String |
BASE_FILENAME_TEAM
the IWBase concept base filename for teams (basically REGISTRY_PATH + ABBREV_TEAM) |
static java.lang.String |
BASE_FILENAME_TRANSLATION_RULE
the IWBase concept base filename for translation rules (basically REGISTRY_PATH + ABBREV_TRANSLATION_RULES) |
static java.lang.String |
BASE_FILENAME_WEBSITE
the IWBase concept base filename for websites (basically REGISTRY_PATH + ABBREV_WEBSITE) |
static java.lang.String |
BASE_URI_AGENT
the IWBase concept base URI for agents (basically REGISTRY_URI + ABBREV_AGENT) |
static java.lang.String |
BASE_URI_AXIOM
the IWBase concept base URI for axiom (basically REGISTRY_URI + ABBREV_AXIOM) |
static java.lang.String |
BASE_URI_DECLARATIVE_RULE
the IWBase concept base URI for declarative rule (basically REGISTRY_URI + ABBREV_DECLARATIVE_RULE) |
static java.lang.String |
BASE_URI_DERIVED_RULE
the IWBase concept base URI for derived rules (basically REGISTRY_URI + ABBREV_DERIVED_RULE) |
static java.lang.String |
BASE_URI_INF_ENGINE
the IWBase concept base URI for inference engines (basically REGISTRY_URI + ABBREV_INFERENCE_ENGINE) |
static java.lang.String |
BASE_URI_LANGUAGE
the IWBase concept base URI for languages (basically REGISTRY_URI + ABBREV_LANGUAGE) |
static java.lang.String |
BASE_URI_LANGUAGE_AXIOM_SET
the IWBase concept base URI for language axiom sets (basically REGISTRY_URI + ABBREV_LANGUAGE_AXIOM_SETS) |
static java.lang.String |
BASE_URI_METHOD_RULE
the IWBase concept base URI for method rules (basically REGISTRY_URI + ABBREV_METHOD_RULE) |
static java.lang.String |
BASE_URI_ONTOLOGY
the IWBase concept base URI for ontologies (basically REGISTRY_URI + ABBREV_ONTOLOGY) |
static java.lang.String |
BASE_URI_ORGANIZATION
the IWBase concept base URI for organizations (basically REGISTRY_URI + ABBREV_ORGANIZATION) |
static java.lang.String |
BASE_URI_PERSON
the IWBase concept base URI for persons (basically REGISTRY_URI + ABBREV_PERSON) |
static java.lang.String |
BASE_URI_PUBLICATION
the IWBase concept base URI for publications (basically REGISTRY_URI + ABBREV_PUBLICATION) |
static java.lang.String |
BASE_URI_TEAM
the IWBase concept base URI for teams (basically REGISTRY_URI + ABBREV_TEAM) |
static java.lang.String |
BASE_URI_TRANSLATION_RULE
the IWBase concept base URI for translation rules (basically REGISTRY_URI + ABBREV_TRANSLATION_RULE) |
static java.lang.String |
BASE_URI_WEBSITE
the IWBase concept base URI for websites (basically REGISTRY_URI + ABBREV_WEBSITE) |
static int |
DECLARATIVE_RULE
the IWBase concept number for declarative rules |
static java.lang.String |
DEFAULT_DER_RULE_SPEC_NAME
PROBLEM |
static java.lang.String |
DEFAULT_EXT
The default file extension used by IWBase |
static int |
DERIVED_RULE
the IWBase concept number for derived rules |
static java.lang.String |
DIRECT_ASSERTION_URI
The URI of the DirectAssertion inference rule, which is a default primitive inference rule |
static java.lang.String |
FORMAT_ENGLISH
|
static java.lang.String |
FORMAT_KIF
|
static java.lang.String |
FORMAT_RAW
|
static int |
INFERENCE_ENGINE
the IWBase concept number for inference engines |
static int |
INFERENCE_RULE
the IWBase concept number for inference rules |
static int |
LANGUAGE
the IWBase concept number for languages |
static int |
LANGUAGE_AXIOM_SET
the IWBase concept number for language axiom sets |
static int |
MAX_ENTRIES
The max capacity of IWBase |
static int |
METHOD_RULE
the IWBase concept number for method rules |
static int |
ONTOLOGY
the IWBase concept number for ontologies |
static int |
ONTOLOGY_SOURCE
the IWBase concept number for ontology sources |
static int |
ORGANIZATION
the IWBase concept number for organizations |
static int |
PERSON
the IWBase concept number for persons |
static int |
PRIMITIVE_RULE
the IWBase concept number for primitive rules |
static int |
PUBLICATION
the IWBase concept number for publications |
static java.lang.String |
ROOT_TEAM
data value for the submitter of the root team |
static int |
SOURCE
the IWBase concept number for sources |
static java.lang.String |
STYLE_DAG
|
static java.lang.String |
STYLE_ENGLISH
|
static java.lang.String |
STYLE_PROOF
|
static int |
TEAM
the IWBase concept number for teams |
static int |
TRANSLATION_RULE
the IWBase concept number for translation rules |
static int |
WEBSITE
the IWBase concept number for Website |
| Constructor Summary | |
IWBase()
|
|
| Method Summary | |
static void |
addToCache(IWModelElement _me)
Adds the specified model element _me to the cache |
static IWModelElement |
createModelElement(java.lang.String _fromURI)
creates a model element for the given URI |
static boolean |
exists(int _concept,
java.lang.String _name)
PROBLEM |
static boolean |
exists(java.lang.String inUrlStr)
PROBLEM |
static int |
getConcept(java.lang.String _URI)
Determines the concept given the URI of a model element. |
static java.lang.String |
getDRSpecURI(java.lang.String _DRname)
PROBLEM |
static java.lang.String |
getFileName(IWModelElement _e)
Returns the filename given a model element. |
static com.hp.hpl.jena.ontology.Individual |
getFirstIndividual(com.hp.hpl.jena.ontology.OntClass _class,
java.io.File _fromFile)
PROBLEM |
static com.hp.hpl.jena.ontology.Individual |
getFirstIndividualFromURL(com.hp.hpl.jena.ontology.OntClass _class,
java.lang.String _fromURL)
PROBLEM |
static IWModelElement |
getFromCache(java.lang.String _uri)
Looks up the model element with the specified URI from the cache |
static com.hp.hpl.jena.ontology.Individual |
getIndividualFromURI(java.lang.String _fromURI)
PROBLEM |
static IWModelElement |
getModelElement(java.lang.String _fromURI,
java.lang.String _dataSource)
Looks up a model element looking up first on the entry cache then on the specified data source |
static java.lang.String |
getShortNameFromURI(java.lang.String _URI)
returns the short name of the concept of the model element pointed to by the URI _URI. |
static IWTeam |
getTeamNoMembers(java.lang.String _fromURI,
java.lang.String _dataSource)
Reads a team (without loading its members) looking up first on the entry cache then on the specified data source |
static java.lang.String |
getURI(int _concept,
java.lang.String _name)
Constructs a URI for a model element which is of concept _concept and has
name _name. |
static boolean |
isSource(java.lang.String uriStr)
Determines the concept given the URI of a source element. |
static IWModelElement |
loadModelElement(java.lang.String _fromURI,
java.lang.String _dataSource)
Loads a model element looking up on the specified data source directly (the cache does not play a role here) |
static boolean |
removeFromCache(java.lang.String _uri)
Removes the model element with the specified URI from the cache |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final int MAX_ENTRIES
public static final IWBase _instance
protected static java.util.HashMap _entries
public static final int INFERENCE_ENGINE
public static final int PRIMITIVE_RULE
public static final int ONTOLOGY
public static final int ORGANIZATION
public static final int SOURCE
public static final int LANGUAGE_AXIOM_SET
public static final int AXIOM
public static final int DERIVED_RULE
public static final int LANGUAGE
public static final int INFERENCE_RULE
public static final int ONTOLOGY_SOURCE
public static final int TEAM
public static final int PERSON
public static final int PUBLICATION
public static final int DECLARATIVE_RULE
public static final int METHOD_RULE
public static final int TRANSLATION_RULE
public static final int AGENT
public static final int WEBSITE
public static final java.lang.String ABBREV_INFERENCE_ENGINE
public static final java.lang.String ABBREV_ORGANIZATION
public static final java.lang.String ABBREV_LANGUAGE_AXIOM_SET
public static final java.lang.String ABBREV_AXIOM
public static final java.lang.String ABBREV_DERIVED_RULE
public static final java.lang.String ABBREV_LANGUAGE
public static final java.lang.String ABBREV_ONTOLOGY
public static final java.lang.String ABBREV_TEAM
public static final java.lang.String ABBREV_PERSON
public static final java.lang.String ABBREV_PUBLICATION
public static final java.lang.String ABBREV_DECLARATIVE_RULE
public static final java.lang.String ABBREV_METHOD_RULE
public static final java.lang.String ABBREV_TRANSLATION_RULE
public static final java.lang.String ABBREV_AGENT
public static final java.lang.String ABBREV_WEBSITE
public static final java.lang.String BASE_FILENAME_INF_ENGINE
public static final java.lang.String BASE_FILENAME_ORGANIZATION
public static final java.lang.String BASE_FILENAME_LANGUAGE_AXIOM_SET
public static final java.lang.String BASE_FILENAME_AXIOM
public static final java.lang.String BASE_FILENAME_DERIVED_RULE
public static final java.lang.String BASE_FILENAME_LANGUAGE
public static final java.lang.String BASE_FILENAME_ONTOLOGY
public static final java.lang.String BASE_FILENAME_TEAM
public static final java.lang.String BASE_FILENAME_PERSON
public static final java.lang.String BASE_FILENAME_PUBLICATION
public static final java.lang.String BASE_FILENAME_DECLARATIVE_RULE
public static final java.lang.String BASE_FILENAME_METHOD_RULE
public static final java.lang.String BASE_FILENAME_TRANSLATION_RULE
public static final java.lang.String BASE_FILENAME_AGENT
public static final java.lang.String BASE_FILENAME_WEBSITE
public static final java.lang.String BASE_URI_INF_ENGINE
public static final java.lang.String BASE_URI_ORGANIZATION
public static final java.lang.String BASE_URI_LANGUAGE_AXIOM_SET
public static final java.lang.String BASE_URI_AXIOM
public static final java.lang.String BASE_URI_DERIVED_RULE
public static final java.lang.String BASE_URI_LANGUAGE
public static final java.lang.String BASE_URI_ONTOLOGY
public static final java.lang.String BASE_URI_TEAM
public static final java.lang.String BASE_URI_PERSON
public static final java.lang.String BASE_URI_PUBLICATION
public static final java.lang.String BASE_URI_DECLARATIVE_RULE
public static final java.lang.String BASE_URI_METHOD_RULE
public static final java.lang.String BASE_URI_TRANSLATION_RULE
public static final java.lang.String BASE_URI_AGENT
public static final java.lang.String BASE_URI_WEBSITE
public static final java.lang.String ROOT_TEAM
public static final java.lang.String DEFAULT_DER_RULE_SPEC_NAME
public static final java.lang.String DEFAULT_EXT
public static final java.lang.String ASSUMPTION_URI
public static final java.lang.String DIRECT_ASSERTION_URI
public static final java.lang.String STYLE_ENGLISH
public static final java.lang.String STYLE_PROOF
public static final java.lang.String STYLE_DAG
public static final java.lang.String FORMAT_ENGLISH
public static final java.lang.String FORMAT_KIF
public static final java.lang.String FORMAT_RAW
| Constructor Detail |
public IWBase()
| Method Detail |
public static IWModelElement createModelElement(java.lang.String _fromURI)
_fromURI - the URI for which the model needs to be created
public static IWModelElement getModelElement(java.lang.String _fromURI,
java.lang.String _dataSource)
throws java.lang.Exception
_fromURI - the URI of the model element that needs to be retrieved_dataSource - the dataSource that must be queried if the model element is not found in the cache
java.lang.Exception
public static com.hp.hpl.jena.ontology.Individual getIndividualFromURI(java.lang.String _fromURI)
throws java.lang.Exception
java.lang.Exception
public static com.hp.hpl.jena.ontology.Individual getFirstIndividualFromURL(com.hp.hpl.jena.ontology.OntClass _class,
java.lang.String _fromURL)
throws java.lang.Exception
java.lang.Exception
public static com.hp.hpl.jena.ontology.Individual getFirstIndividual(com.hp.hpl.jena.ontology.OntClass _class,
java.io.File _fromFile)
throws java.lang.Exception
java.lang.Exception
public static IWModelElement loadModelElement(java.lang.String _fromURI,
java.lang.String _dataSource)
throws java.lang.Exception
_fromURI - the URI of the model element that needs to be loaded_dataSource - the source which needs to be queried in order to load the model element
java.lang.Exception
public static IWTeam getTeamNoMembers(java.lang.String _fromURI,
java.lang.String _dataSource)
throws java.lang.Exception
_fromURI - the URI of the team_dataSource - the source which needs to be queried if the team is not already cached
IWTeam object corresponding to the team
java.lang.Exceptionpublic static java.lang.String getFileName(IWModelElement _e)
_e - the element whose filename is required
public static boolean exists(int _concept,
java.lang.String _name)
public static boolean exists(java.lang.String inUrlStr)
public static java.lang.String getURI(int _concept,
java.lang.String _name)
_concept and has
name _name. The general way to construct URIs is:
URI = BASE_CONCEPT_URI + _name + DEFAULT_EXT + "#" + _name
_concept - the concept of the model element_name - the name of the model element
public static java.lang.String getShortNameFromURI(java.lang.String _URI)
_URI.
The short name is the part of the URI that comes after the # sign.
_URI - the URI whose short name is needed
public static int getConcept(java.lang.String _URI)
INFERENCE_ENGINE
_URI - the URI of which the concept is desired
int corresponding to the concept number of the URIpublic static boolean isSource(java.lang.String uriStr)
PUBLICATION
uriStr - the URI of which the concept is desired
boolean true if uriStr is URI of a source element, false otherwise.public static java.lang.String getDRSpecURI(java.lang.String _DRname)
public static boolean removeFromCache(java.lang.String _uri)
_uri - the URI of the model element to be removed from the cache
true if and only if the element was present in the cache, else falsepublic static IWModelElement getFromCache(java.lang.String _uri)
_uri - the URI of the model element to be looked at
public static void addToCache(IWModelElement _me)
_me to the cache
_me - the model element to be added to the cache
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||