Package | Description |
---|---|
casa |
The casa package is the main package for CASA (Collaborative Agent System
Architecture), which is an infrastructure for agent based systems.
|
casa.interfaces |
Contains classes for important
interfaces used in CASA. |
casa.ontology | |
casa.ontology.owl2 | |
casa.ontology.v3 | |
casa.util |
Contains classes implementing various utility class for CASA.
|
Modifier and Type | Field and Description |
---|---|
protected Ontology |
AbstractProcess.ontology
The performative type hierarchy for this agent
|
protected static Ontology |
AbstractProcess.ontologyShared |
Modifier and Type | Method and Description |
---|---|
private Ontology |
TransientAgent.getDefaultImportOntology() |
Ontology |
TransientAgent.getOntology()
Returns the agent's current ontology.
|
Modifier and Type | Method and Description |
---|---|
void |
TransientAgent.setOntology(Ontology ont) |
Modifier and Type | Method and Description |
---|---|
Ontology |
TransientAgentInterface.getOntology()
Returns the performatives hierarchy for this agent.
|
Ontology |
PolicyAgentInterface.getOntology() |
Modifier and Type | Method and Description |
---|---|
Ontology |
OntologyEntity.getOntology() |
Modifier and Type | Method and Description |
---|---|
void |
Ontology.addSuperOntologies(Ontology... parentOntologies) |
boolean |
Ontology.isCompatable(Ontology other)
Determines if other is a compatible description (see
#describe(TypeNode) )
to this TypeHierarchy. |
void |
Ontology.isCompatableThrow(Ontology other)
Determines if other is a compatible description (see
#describe(TypeNode) )
to this TypeHierarchy. |
Modifier and Type | Class and Description |
---|---|
class |
OWLOntology
A regular {link org.semanticweb.owlapi.model.OWLOntology} overlaid with the CASA-standard
Ontology interface. |
Modifier and Type | Field and Description |
---|---|
static Class<? extends Ontology> |
OWLOntologyWithKB_JavaTest.defaultOntologyClass |
Modifier and Type | Method and Description |
---|---|
static Ontology |
OWLOntology.getOntology(String name)
Find (get) or read (load) in a CASAOntology in the following manner:
if name doesn't end in ".owl", then append ".owl" to the name.
|
Ontology |
CASA_OWLOntologyManagerImpl.getOntology(String name)
Find (get) or read (load) in a CASAOntology in the following manner:
if name doesn't end in ".owl", then append ".owl" to the name.
|
static Ontology |
OWLOntology.makeOntology(String name,
Ontology... superOntologies) |
Modifier and Type | Method and Description |
---|---|
void |
OWLOntology.addSuperOntologies(Ontology... superOntologies) |
boolean |
OWLOntology.isCompatable(Ontology other) |
void |
OWLOntology.isCompatableThrow(Ontology other) |
static Ontology |
OWLOntology.makeOntology(String name,
Ontology... superOntologies) |
Modifier and Type | Class and Description |
---|---|
class |
CASAOntology
Implements an efficient ontology of terms and relations.
|
Modifier and Type | Field and Description |
---|---|
(package private) Ontology |
ConstraintSimple.ont |
private Ontology |
Name.ontology |
protected Ontology |
HierarchicalDictionary.owner |
Modifier and Type | Method and Description |
---|---|
Ontology |
TypeListType.getOntology() |
Ontology |
Name.getOntology() |
Ontology |
ConcreteRelation.getOntology() |
Ontology |
BaseType.getOntology() |
Ontology |
TestCASAOntology.sizeOnt() |
Modifier and Type | Method and Description |
---|---|
void |
CASAOntology.addSuperOntologies(Ontology... parentOntologies) |
String |
TypeListType.getRelativeName(Ontology ont) |
String |
Name.getRelativeName(Ontology ont) |
String |
ConcreteRelation.getRelativeName(Ontology ont) |
String |
BaseType.getRelativeName(Ontology ont) |
boolean |
CASAOntology.isCompatable(Ontology other) |
void |
CASAOntology.isCompatableThrow(Ontology other) |
static CASAOntology |
CASAOntology.makeOntology(String name,
Ontology... superOntologies)
Constructs a new CASAOntology
|
String |
UsesRelation.toStringComment(Ontology relativeToOntology) |
String |
PrimitiveRelation.toStringComment(Ontology relativeToOntology) |
abstract String |
ConcreteRelation.toStringComment(Ontology relativeToOntology)
A comment string appropriate for the relation (not inclding the prefix ";").
|
String |
BasedRelation.toStringComment(Ontology relativeToOntology) |
Constructor and Description |
---|
AsymmetricRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint) |
BasedRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domainConstraint,
Constraint rangeConstraint) |
BaseType(String name,
Ontology ont) |
ConcreteRelation(String name,
Ontology ontology) |
ConstraintSimple(ConstraintSimple.Individual individual,
Type type,
Cons exp,
Ontology ont,
TransientAgent agent)
Constructs a SimpleConstraint.
|
HierarchicalDictionary(CASAOntology casaOntology,
Ontology owner)
Remembers the owner so that it can use the
owner to access objects from dictionaries or its parents' dictionaries.
|
InverseRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint,
Relation owner) |
MirrorRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domainConstraint,
Constraint rangeConstraint)
A relation that just mirrors it's base and nothing more except check constraints.
|
Name(Ontology ontology,
String name) |
PrimitiveRelation(String name,
Ontology ontology) |
PrimitiveRelation(String name,
Ontology ontology,
Constraint domainConstraint,
Constraint rangeConstraint) |
ReflexiveRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint) |
SimpleType(String typeName,
Ontology ontology)
Constructor: makes a new Type with name typeName.
|
SymmetricRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint) |
TransitiveRelation(String name,
Ontology ontology,
ConcreteRelation base,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint) |
UsesRelation(String name,
Ontology ontology,
ConcreteRelation base,
ConcreteRelation uses,
boolean assignable,
Constraint domConstraint,
Constraint ranConstraint,
Relation owner) |
Modifier and Type | Method and Description |
---|---|
static Ontology |
CASAUtil.findOntology(TransientAgent agent,
ParamsMap params,
AgentUI ui,
Environment env) |