public enum Construct extends Enum<Construct>
Enum Constant and Description |
---|
ATOMIC_NEGATION
Atomic negations.
|
CONCEPT_COMPLEX_NEGATION
Complex concept negation.
|
CONCEPT_INTERSECTION
Concept
intersections.
|
CONCEPT_UNION
Concept union.
|
D
Use of data properties,
data values or data types.
|
F
Functional properties, a
special case of uniqueness
quantification.
|
FULL_EXISTENTIAL
Full existential
qualification (existential
restrictions that have
fillers other than top.
|
LIMITED_EXISTENTIAL
Limited existential
quantifications (Top
only).
|
N
Cardinality restrictions
(owl:cardinality,
owl:maxCardinality), a
special case of counting
quantification.
|
NOMINALS
Nominals.
|
Q
Qualified cardinality
restrictions (available
in OWL 2, cardinality
restrictions that have
fillers other than top).
|
ROLE_COMPLEX
Complex role inclusion
axioms; irreflexivity;
role disjointness.
|
ROLE_DOMAIN_RANGE
Role restrictions (domain
and range on data and
object properties).
|
ROLE_HIERARCHY
Role hierarchy
(rdfs:subPropertyOf).
|
ROLE_INVERSE
Inverse properties.
|
ROLE_REFLEXIVITY_CHAINS
Reflexivity and property
chains.
|
ROLE_TRANSITIVE
Transitive roles.
|
UNIVERSAL_RESTRICTION
Universal
restrictions.
|
Modifier and Type | Field and Description |
---|---|
static EnumSet<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 |
---|---|
Set<Construct> |
includedConstructs() |
void |
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.
|
String |
toString() |
static void |
trim(Set<Construct> constructs)
Remove all redundant constructs from the input.
|
static Construct |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Construct[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Construct ROLE_DOMAIN_RANGE
public static final Construct ATOMIC_NEGATION
public static final Construct CONCEPT_COMPLEX_NEGATION
public static final Construct CONCEPT_UNION
public static final Construct CONCEPT_INTERSECTION
public static final Construct UNIVERSAL_RESTRICTION
public static final Construct LIMITED_EXISTENTIAL
public static final Construct FULL_EXISTENTIAL
public static final Construct ROLE_HIERARCHY
public static final Construct ROLE_TRANSITIVE
public static final Construct ROLE_REFLEXIVITY_CHAINS
public static final Construct ROLE_COMPLEX
public static final Construct NOMINALS
public static final Construct ROLE_INVERSE
public static final Construct F
public static final Construct N
public static final Construct Q
public static final Construct D
public static Construct[] values()
for (Construct c : Construct.values()) System.out.println(c);
public static Construct valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic Set<Construct> includedConstructs()
public void removeSubsumedConstructs(Set<Construct> constructs)
constructs
- constructs to trimpublic static void trim(Set<Construct> constructs)
constructs
- constructs to trimCopyright © 2020 The University of Manchester. All rights reserved.