|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jade.content.schema.ObjectSchema | +--jade.content.schema.ObjectSchemaImpl | +--jade.content.schema.TermSchema | +--jade.content.schema.IRESchema
This class represents the schema of an Identifying Referential Expression (IRE) in an ontology. Note that an IRESchema should also be a TermSchema, but this inheritance relation is cut as Java does not support multiple inheritance. As a consequence in practice it will not be possible to define e.g. a ConceptSchema with a slot whose value must be instances of a certain type of IRE even if in theory this should be possible as a ConceptSchema can have slots of type term and an IRE is a term.
Field Summary | |
static java.lang.String |
BASE_NAME
|
static java.lang.String |
PROPOSITION
|
static java.lang.String |
VARIABLE
|
Fields inherited from class jade.content.schema.ObjectSchema |
baseSchema, encodingByOrder, MANDATORY, OPTIONAL, UNLIMITED |
Constructor Summary | |
IRESchema(java.lang.String typeName)
Creates a IRESchema with a given type-name.
|
Method Summary | |
protected boolean |
descendsFrom(ObjectSchema s)
Return true if - s is the base schema for the XXXSchema class this schema is an instance of (e.g. s is ConceptSchema.getBaseSchema() and this schema is an instance of ConceptSchema) - s is the base schema for a super-class of the XXXSchema class this schema is an instance of (e.g. s is TermSchema.getBaseSchema() and this schema is an instance of ConceptSchema. |
static ObjectSchema |
getBaseSchema()
Retrieve the generic base schema for all ire-s. |
boolean |
isCompatibleWith(ObjectSchema s)
An IRE can be put whereever a term of whatever type is required --> An IRESchema is compatible with s if s descends from TermSchema.getBaseSchema() |
AbsObject |
newInstance()
Creates an Abstract descriptor to hold a ire of the proper type. |
void |
validate(AbsObject abs,
Ontology onto)
Check whether a given abstract descriptor complies with this schema. |
Methods inherited from class jade.content.schema.TermSchema |
add, add, add, add, addFacet, addSuperSchema, containsSlot, equals, getFacets, getNames, getSchema, getTypeName, isMandatory, toString, validateSlots |
Methods inherited from class jade.content.schema.ObjectSchema |
getEncodingByOrder, setEncodingByOrder |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final java.lang.String BASE_NAME
public static final java.lang.String VARIABLE
public static final java.lang.String PROPOSITION
Constructor Detail |
public IRESchema(java.lang.String typeName)
IRESchema
with a given type-name.
All ire-s have a variable and a proposition.
typeName
- The name of this IRESchema
(e.g. IOTA, ANY, ALL).Method Detail |
public static ObjectSchema getBaseSchema()
public AbsObject newInstance() throws OntologyException
newInstance
in class TermSchema
OntologyException
public void validate(AbsObject abs, Ontology onto) throws OntologyException
validate
in class jade.content.schema.ObjectSchemaImpl
abs
- The abstract descriptor to be checked
OntologyException
- If the abstract descriptor does not
complies with this schemapublic boolean isCompatibleWith(ObjectSchema s)
isCompatibleWith
in class jade.content.schema.ObjectSchemaImpl
protected boolean descendsFrom(ObjectSchema s)
descendsFrom
in class TermSchema
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |