class SL2Ontology extends SL1Ontology implements SL2Vocabulary
Modifier and Type | Field and Description |
---|---|
static String |
ONTOLOGY_NAME |
private static Ontology |
theInstance |
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
AND, AND_LEFT, AND_RIGHT, NOT, NOT_WHAT, OR, OR_LEFT, OR_RIGHT
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
Modifier | Constructor and Description |
---|---|
protected |
SL2Ontology(String name,
Ontology base,
Introspector intro)
Constructor
|
Modifier and Type | Method and Description |
---|---|
static Ontology |
getInstance() |
(package private) boolean |
isActionOp(String symbol) |
(package private) boolean |
isBinaryLogicalOp(String symbol) |
(package private) boolean |
isModalOp(String symbol) |
(package private) boolean |
isQuantifier(String symbol) |
(package private) boolean |
isSLFunctionWithoutSlotNames(String symbol) |
isUnaryLogicalOp
isBinaryTermOp
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
public static final String ONTOLOGY_NAME
private static Ontology theInstance
protected SL2Ontology(String name, Ontology base, Introspector intro)
public static Ontology getInstance()
boolean isQuantifier(String symbol)
isQuantifier
in class SL0Ontology
boolean isModalOp(String symbol)
isModalOp
in class SL0Ontology
boolean isActionOp(String symbol)
isActionOp
in class SL0Ontology
boolean isSLFunctionWithoutSlotNames(String symbol)
isSLFunctionWithoutSlotNames
in class SL0Ontology
boolean isBinaryLogicalOp(String symbol)
isBinaryLogicalOp
in class SL1Ontology