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.