Package | Description |
---|---|
casa.jade | |
jade.semantics.kbase.filters |
Provides all generic filters needed by the default
FilterKBase provided by the JSA framework. |
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
Modifier and Type | Class and Description |
---|---|
class |
CasaQueryFilter |
class |
IfFilter
This filter applies when a "not formula" is queried from the belief Base.
|
class |
NotFilter
This filter applies when a "not formula" is queried from the belief Base.
|
class |
OntologyFilter
This filter applies when a "formula" is queried from the belief Base.
|
Modifier and Type | Method and Description |
---|---|
void |
CasaKB.addKBQueryFilter(KBQueryFilter filter) |
void |
CasaKB.addKBQueryFilter(KBQueryFilter filter,
int index) |
Modifier and Type | Class and Description |
---|---|
class |
KBQueryFilterAdapter
Adapter of
KBQueryFilter |
Modifier and Type | Method and Description |
---|---|
void |
FilterKBaseImpl.addKBQueryFilter(KBQueryFilter filter) |
void |
FilterKBase.addKBQueryFilter(KBQueryFilter queryFilter)
Adds a query filter to the belief base
|
void |
FilterKBaseImpl.addKBQueryFilter(KBQueryFilter filter,
int index) |
void |
FilterKBase.addKBQueryFilter(KBQueryFilter queryFilter,
int index)
Adds a query filter to the belief base at the specified index.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
HornClauseFilter.HornClauseQueryFilter
Private class, which implements the query filter installed for each
asserted Horn clause.
|
Modifier and Type | Method and Description |
---|---|
KBQueryFilter |
FunctionalTermTableImpl.getKBQueryFilter() |
Modifier and Type | Class and Description |
---|---|
class |
AndFilter
This filter applies when an "and formula" is asserted in the belief Base.
|
class |
ExistsFilter
This filter applies when an "exists formula" is asserted in the belief Base.
|
class |
ForallFilter
This filter applies when an "forall formula" is asserted in the belief base.
|
class |
IREFilter
This filter applies when the query relates to the equality between an
identifying expression and a term.
|
class |
IsdoingQueryFilter
This filter applies when an "not (is_doing myself plan)"
formula is queried to the KBase.
|
class |
OrFilter
This filter applies when an "or formula" is asserted in the KBase.
|