Package | Description |
---|---|
casa.ontology | |
casa.ontology.v3 |
Modifier and Type | Method and Description |
---|---|
Set<Type> |
Relation.relatedTo(Type domain)
Returns all the types that this domain is related to.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Relation.add(Type domain,
Type range)
Puts the domain/range pair into the relation.
|
Set<Type> |
Relation.relatedTo(Type domain)
Returns all the types that this domain is related to.
|
boolean |
Relation.relatedTo(Type domain,
Type range)
Determines if an element is related to another element.
|
boolean |
Relation.remove(Type domain,
Type range)
Removes domain/range pair from the relation.
|
abstract boolean |
Constraint.validate(Type type,
Type... types)
Validate the constraint against the type against this constraint in
the context of a relation.
|
abstract boolean |
Constraint.validate(Type type,
Type... types)
Validate the constraint against the type against this constraint in
the context of a relation.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
BaseType
Helper class for Ontology; not to be used by any other class other than Ontology.
|
class |
SimpleType
Helper class for Ontology; not to be used by any other class other than Ontolgy.
|
class |
TypeListType |
Modifier and Type | Field and Description |
---|---|
(package private) static Type |
CASAOntology.bottom
A primitive type
|
(package private) static Type |
CASAOntology.top
A primitive type
|
(package private) Type |
ConstraintSimple.type |
Modifier and Type | Field and Description |
---|---|
TreeSet<Type> |
BaseType.Role.inDomain
a list of other types in which this type is in relation in the domain position.
|
TreeSet<Type> |
BaseType.Role.inRange
a list of other types in which this type is in relation in the range position.
|
Modifier and Type | Method and Description |
---|---|
Set<Type> |
TypeListType.extendedRelation(Relation relation) |
Set<Type> |
RuleBasedRelationType.extendedRelation(Relation relation) |
protected Set<Type> |
BaseType.relatedFrom(Relation relation) |
protected Set<Type> |
BaseType.relatedFrom(String relation) |
protected Set<Type> |
BaseType.relatedTo(Relation relation) |
protected Set<Type> |
CASAOntology.relatedTo(Relation relation,
Type domain) |
protected Set<Type> |
BaseType.relatedTo(String relation) |
Set<Type> |
ConcreteRelation.relatedTo(Type domain) |
Set<Type> |
UsesRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
TransitiveRelation.relatedTo(Type subject,
ConcreteRelation topOfStack) |
Set<Type> |
SymmetricRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
ReflexiveRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
PrimitiveRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
MirrorRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
InverseRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
abstract Set<Type> |
ConcreteRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
AsymmetricRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
private Set<Type> |
TransitiveRelation.relatedTo2(Type subject,
TreeSet<Type> recursion,
ConcreteRelation topOfStack) |
Modifier and Type | Method and Description |
---|---|
boolean |
UsesRelation.add(Type subject,
Type object) |
boolean |
PrimitiveRelation.add(Type domain,
Type range) |
boolean |
InverseRelation.add(Type subject,
Type object) |
boolean |
BasedRelation.add(Type domain,
Type range) |
private String |
CASAOntology.describe2(Type theType,
TreeSet<Type> doneTypes,
TreeSet<String> doneRels)
This method is not fully implemented in this implementation
|
boolean |
BaseType.equals(Type x)
Determines if this Node is equal to x, where "equal" means that
the names are the same, and the name of each of the parents is
the same.
|
boolean |
TypeListType.extendedRelation(Relation relation,
Type other) |
boolean |
RuleBasedRelationType.extendedRelation(Relation relation,
Type other) |
protected boolean |
CASAOntology.queryMaplet(Relation relation,
Type domain,
Type range)
Determines if domainName and rangeName are related through relation relationName
WITHOUT TAKING INTO ACCOUNT the isa relationships of the domain and range.
|
protected Set<Type> |
CASAOntology.relatedTo(Relation relation,
Type domain) |
protected boolean |
CASAOntology.relatedTo(Relation relation,
Type domain,
Type range)
Determines if domain and range are related through relation relation.
|
Set<Type> |
ConcreteRelation.relatedTo(Type domain) |
Set<Type> |
UsesRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
TransitiveRelation.relatedTo(Type subject,
ConcreteRelation topOfStack) |
Set<Type> |
SymmetricRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
ReflexiveRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
PrimitiveRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
MirrorRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
InverseRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
abstract Set<Type> |
ConcreteRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
Set<Type> |
AsymmetricRelation.relatedTo(Type domain,
ConcreteRelation topOfStack) |
boolean |
ConcreteRelation.relatedTo(Type domain,
Type range)
Determines if domain is related to range through this
Relation.
|
protected Maplet |
UsesRelation.relatedTo(Type domain,
Type range,
ConcreteRelation topOfStack) |
protected Maplet |
TransitiveRelation.relatedTo(Type subject,
Type object,
ConcreteRelation topOfStack) |
protected Maplet |
SymmetricRelation.relatedTo(Type subject,
Type object,
ConcreteRelation topOfStack) |
protected Maplet |
ReflexiveRelation.relatedTo(Type subject,
Type object,
ConcreteRelation topOfStack) |
protected Maplet |
PrimitiveRelation.relatedTo(Type domain,
Type range,
ConcreteRelation topOfStack) |
protected Maplet |
MirrorRelation.relatedTo(Type domain,
Type range,
ConcreteRelation topOfStack) |
protected Maplet |
InverseRelation.relatedTo(Type domain,
Type range,
ConcreteRelation topOfStack) |
protected abstract Maplet |
ConcreteRelation.relatedTo(Type domain,
Type range,
ConcreteRelation topOfStack) |
protected Maplet |
AsymmetricRelation.relatedTo(Type subject,
Type object,
ConcreteRelation topOfStack)
If this relation is holds in both forward and backward direction then
we must disambiguate using the USES relation if there is one.
|
private Set<Type> |
TransitiveRelation.relatedTo2(Type subject,
TreeSet<Type> recursion,
ConcreteRelation topOfStack) |
private Maplet |
TransitiveRelation.relatedTo2(Type subject,
Type object,
Vector<Maplet> recursion,
ConcreteRelation topOfStack) |
Maplet |
ConcreteRelation.relatedToX(Type domain,
Type range)
Determines if domain is related to range through this
Relation.
|
boolean |
UsesRelation.remove(Type subject,
Type object) |
boolean |
PrimitiveRelation.remove(Type domain,
Type range) |
boolean |
InverseRelation.remove(Type subject,
Type object) |
boolean |
BasedRelation.remove(Type subject,
Type object) |
boolean |
ConstraintSimple.validate(Type type,
Type... types)
Validate the type in the context of a relation.
|
boolean |
ConstraintSimple.validate(Type type,
Type... types)
Validate the type in the context of a relation.
|
private boolean |
ConstraintSimple.validateExp(Type type,
Type... types)
Validate an expression.
|
private boolean |
ConstraintSimple.validateExp(Type type,
Type... types)
Validate an expression.
|
Modifier and Type | Method and Description |
---|---|
private String |
CASAOntology.describe2(Type theType,
TreeSet<Type> doneTypes,
TreeSet<String> doneRels)
This method is not fully implemented in this implementation
|
private void |
TypeListType.extendedRelation(Relation relation,
Set<Type> ret,
List<BaseType> prefix,
int index) |
private Set<Type> |
TransitiveRelation.relatedTo2(Type subject,
TreeSet<Type> recursion,
ConcreteRelation topOfStack) |
Constructor and Description |
---|
ConstraintSimple(ConstraintSimple.Individual individual,
Type type,
Cons exp,
Ontology ont,
TransientAgent agent)
Constructs a SimpleConstraint.
|