Uses of Enum Class
org.semanticweb.owlapi.util.Construct
Packages that use Construct
-
Uses of Construct in org.semanticweb.owlapi.util
Fields in org.semanticweb.owlapi.util with type parameters of type ConstructModifier and TypeFieldDescriptionConstruct.incompatibleRoleFetures
Constructs incompatible with each other - if one is found in an ontology, the other cannot be found.Methods in org.semanticweb.owlapi.util that return ConstructModifier and TypeMethodDescriptionstatic Construct
Returns the enum constant of this class with the specified name.static Construct[]
Construct.values()
Returns an array containing the constants of this enum class, in the order they are declared.Methods in org.semanticweb.owlapi.util that return types with arguments of type ConstructModifier and TypeMethodDescriptionLanguages.components()
DLExpressivityChecker.getConstructs()
Construct.includedConstructs()
Methods in org.semanticweb.owlapi.util with parameters of type ConstructModifier and TypeMethodDescriptionboolean
boolean
Languages.hasAllConstructs
(Construct... constructs) Method parameters in org.semanticweb.owlapi.util with type arguments of type ConstructModifier and TypeMethodDescriptionboolean
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
Remove all redundant constructs from the input.