| Package | Description |
|---|---|
| conexp.fx.core.dl | |
| conexp.fx.core.dl.deprecated |
| Modifier and Type | Method and Description |
|---|---|
Signature |
ELTBox.getSignature() |
Signature |
ELConceptDescription.getSignature() |
Signature |
ELConceptInclusion.getSignature() |
Signature |
ELInterpretation2.getSignature(boolean onlyActiveSignature) |
| Modifier and Type | Method and Description |
|---|---|
static <I> ELAxiomatizer |
ELAxiomatizer.from(Signature sigma,
ELInterpretation2<I> i,
ELTBox t,
int roleDepth) |
static <I> ELAxiomatizer |
ELAxiomatizer.from(Signature sigma,
ELInterpretation2<I> i,
int roleDepth) |
Set<ELConceptDescription> |
ELConceptDescription.lowerNeighbors(Signature sigma) |
Set<ELConceptDescription> |
ELConceptDescription.lowerNeighbors1(Signature sigma) |
Set<ELConceptDescription> |
ELConceptDescription.lowerNeighborsA(Signature sigma) |
Set<ELConceptDescription> |
ELConceptDescription.lowerNeighborsB(Signature sigma) |
Set<ELConceptDescription> |
ELConceptDescription.lowerNeighborsReduced1(Signature sigma) |
Set<ELConceptDescription> |
ELConceptDescription.neighborhood(int radius,
Signature sigma) |
static ELConceptDescription |
ELConceptDescription.random(Signature sigma,
int maxRoleDepth,
int minSize,
int maxSize) |
| Constructor and Description |
|---|
ELAxiomatizer(Signature sigma,
int roleDepth,
boolean withBot,
Predicate<ELConceptDescription> hasEmptySupport,
DualClosureOperator<ELConceptDescription> clop) |
| Modifier and Type | Field and Description |
|---|---|
protected Signature |
AInterpretation.signature
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
Signature |
AInterpretation.getSignature()
Deprecated.
|
Signature |
Interpretation.getSignature()
Deprecated.
|
| Constructor and Description |
|---|
AInterpretation(Signature signature)
Deprecated.
|
AInterpretation(Signature signature,
Set<org.semanticweb.owlapi.model.IRI> domain)
Deprecated.
|
ELInterpretation(Signature signature)
Deprecated.
|
ELInterpretation(Signature signature,
Set<org.semanticweb.owlapi.model.IRI> domain)
Deprecated.
|
OWLInterpretation(Signature signature)
Deprecated.
|
OWLInterpretation(Signature signature,
Set<org.semanticweb.owlapi.model.IRI> domain)
Deprecated.
|
Copyright © 2010–2019 Francesco Kriegel. All rights reserved.