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:
Serializable, java.io.Serializable, SL0Vocabulary, SL1Vocabulary, SL2Vocabulary, SLVocabulary

public class SLOntology
extends jade.content.lang.sl.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
static java.lang.String ONTOLOGY_NAME
           
 
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
protected SLOntology()
          Constructor
 
Method Summary
static Ontology getInstance()
           
 
Methods inherited from class jade.content.onto.Ontology
add, add, checkIsTerm, fromObject, getActionNames, getClassForElement, getConceptNames, getName, getPredicateNames, getSchema, toObject, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

ONTOLOGY_NAME

public static final java.lang.String ONTOLOGY_NAME
See Also:
Constant Field Values
Constructor Detail

SLOntology

protected SLOntology()
Constructor

Method Detail

getInstance

public static Ontology getInstance()


JADE