| Package | Description |
|---|---|
| net.sf.tweety.logics.commons.syntax | |
| net.sf.tweety.logics.dl.syntax |
| Constructor and Description |
|---|
Concept(java.lang.String name,
java.util.Set<Individual> arguments) |
Role(java.lang.String name,
java.util.Set<Pair<Individual,Individual>> roles) |
Role(java.lang.String name,
java.util.Set<Pair<Individual,Individual>> roles) |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Set<Individual> |
DlSignature.individuals |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<Individual> |
DlSignature.getIndividuals() |
| Modifier and Type | Method and Description |
|---|---|
void |
DlSignature.setIndividuals(java.util.Set<Individual> individuals) |