jade.content.lang.sl

Class SLOntology

java.lang.Object

jade.content.onto.Ontology

jade.content.lang.sl.SL0Ontology

jade.content.lang.sl.SL1Ontology

jade.content.lang.sl.SL2Ontology

jade.content.lang.sl.SLOntology

All Implemented Interfaces:

SL0Vocabulary, SL1Vocabulary, SL2Vocabulary, SLVocabulary, Serializable

public class SLOntology
extends SL2Ontology
implements SLVocabulary

Ontology containing schemas for the full SL language operators. see jade.content.Ontology

Author:

Giovanni Caire - TILAB

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	ONTOLOGY_NAME
private static Ontology	theInstance

Fields inherited from interface jade.content.lang.sl.SL2Vocabulary

ACTION_ALTERNATIVE, ACTION_ALTERNATIVE_FIRST, ACTION_ALTERNATIVE_SECOND, ACTION_SEQUENCE, ACTION_SEQUENCE_FIRST, ACTION_SEQUENCE_SECOND, ALL, ANY, BELIEF, BELIEF_AGENT, BELIEF_CONDITION, EQUIV, EQUIV_LEFT, EQUIV_RIGHT, EXISTS, EXISTS_CONDITION, EXISTS_WHAT, FEASIBLE, FEASIBLE_ACTION, FEASIBLE_CONDITION, FORALL, FORALL_CONDITION, FORALL_WHAT, IMPLIES, IMPLIES_LEFT, IMPLIES_RIGHT, INTENTION, INTENTION_AGENT, INTENTION_CONDITION, IOTA, PERSISTENT_GOAL, PERSISTENT_GOAL_AGENT, PERSISTENT_GOAL_CONDITION, UNCERTAINTY, UNCERTAINTY_AGENT, UNCERTAINTY_CONDITION

Fields inherited from interface jade.content.lang.sl.SL1Vocabulary

AND, AND_LEFT, AND_RIGHT, NOT, NOT_WHAT, OR, OR_LEFT, OR_RIGHT

Fields inherited from interface jade.content.lang.sl.SL0Vocabulary

ACLMSG, ACLMSG_BYTE_SEQUENCE_CONTENT, ACLMSG_CONTENT, ACLMSG_CONVERSATION_ID, ACLMSG_ENCODING, ACLMSG_IN_REPLY_TO, ACLMSG_LANGUAGE, ACLMSG_ONTOLOGY, ACLMSG_PERFORMATIVE, ACLMSG_PROTOCOL, ACLMSG_RECEIVERS, ACLMSG_REPLY_BY, ACLMSG_REPLY_TO, ACLMSG_REPLY_WITH, ACLMSG_SENDER, ACTION, ACTION_ACTION, ACTION_ACTOR, AID, AID_ADDRESSES, AID_NAME, AID_RESOLVERS, DONE, DONE_ACTION, DONE_CONDITION, EQUALS, EQUALS_LEFT, EQUALS_RIGHT, FALSE_PROPOSITION, RESULT, RESULT_ACTION, RESULT_ITEMS, RESULT_VALUE, SEQUENCE, SET, TRUE_PROPOSITION

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SLOntology() Constructor

Method Summary

Modifier and Type	Method and Description
static Ontology	getInstance()

Methods inherited from class jade.content.lang.sl.SL2Ontology

isActionOp, isBinaryLogicalOp, isModalOp, isQuantifier, isSLFunctionWithoutSlotNames

Methods inherited from class jade.content.lang.sl.SL1Ontology

isUnaryLogicalOp

Methods inherited from class jade.content.lang.sl.SL0Ontology

isBinaryTermOp

Methods inherited from class jade.content.onto.Ontology

add, add, checkIsTerm, createConceptSlotFunction, externalize, externalizeSlotValue, fromObject, fromObject, getActionNames, getClassForElement, getConceptNames, getIntrospector, getName, getOwnActionNames, getOwnConceptNames, getOwnPredicateNames, getPredicateNames, getSchema, getSchema, getSlotValue, internalize, internalizeSlotValue, setSlotValue, toObject, toObject, toString, useConceptSlotsAsFunctions

Methods inherited from class java.lang.Object

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

Field Detail

ONTOLOGY_NAME

public static final String ONTOLOGY_NAME

See Also:

Constant Field Values

theInstance

private static Ontology theInstance

Constructor Detail

SLOntology

protected SLOntology()

Constructor

Method Detail

getInstance

public static Ontology getInstance()