class SL0Ontology extends Ontology implements SL0Vocabulary
Modifier and Type | Field and Description |
---|---|
static String |
ONTOLOGY_NAME |
private static Ontology |
theInstance |
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 |
SL0Ontology(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 |
isBinaryTermOp(String symbol) |
(package private) boolean |
isModalOp(String symbol) |
(package private) boolean |
isQuantifier(String symbol) |
(package private) boolean |
isSLFunctionWithoutSlotNames(String symbol) |
(package private) boolean |
isUnaryLogicalOp(String symbol) |
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 SL0Ontology(String name, Ontology base, Introspector intro)
public static Ontology getInstance()
boolean isUnaryLogicalOp(String symbol)
boolean isBinaryLogicalOp(String symbol)
boolean isQuantifier(String symbol)
boolean isModalOp(String symbol)
boolean isActionOp(String symbol)
boolean isBinaryTermOp(String symbol)
boolean isSLFunctionWithoutSlotNames(String symbol)