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