Package | Description |
---|---|
org.semanticweb.owlapi.util |
Utilities package.
|
Modifier and Type | Field and Description |
---|---|
static EnumSet<Construct> |
Construct.incompatibleRoleFetures
Constructs incompatible with each other - if one is found in an ontology, the other cannot be
found.
|
Modifier and Type | Method and Description |
---|---|
static Construct |
Construct.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Construct[] |
Construct.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
EnumSet<Construct> |
Languages.components() |
List<Construct> |
DLExpressivityChecker.getConstructs() |
Set<Construct> |
Construct.includedConstructs() |
Modifier and Type | Method and Description |
---|---|
boolean |
DLExpressivityChecker.has(Construct c) |
boolean |
Languages.hasAllConstructs(Construct... constructs) |
Modifier and Type | Method and Description |
---|---|
boolean |
Languages.hasAllConstructs(Collection<Construct> constructs) |
void |
Construct.removeSubsumedConstructs(Set<Construct> constructs)
If this construct subsumes another construct (e.g., R subsumes role hierarchy and role
transitivity), then the subsumed construct is removed from the set.
|
static void |
Construct.trim(Set<Construct> constructs)
Remove all redundant constructs from the input.
|
Copyright © 2020 The University of Manchester. All rights reserved.