Package org.semanticweb.owlapi.util

Enum Class Construct

java.lang.Object
java.lang.Enum<Construct>
org.semanticweb.owlapi.util.Construct
All Implemented Interfaces:
Serializable, Comparable<Construct>, java.lang.constant.Constable
public enum Construct extends Enum<Construct>
Construct enum.

  • Enum Constant Details

    • ROLE_DOMAIN_RANGE

      public static final Construct ROLE_DOMAIN_RANGE
      Role restrictions (domain and range on data and object properties).

    • ATOMIC_NEGATION

      public static final Construct ATOMIC_NEGATION
      Atomic negations.

    • CONCEPT_COMPLEX_NEGATION

      public static final Construct CONCEPT_COMPLEX_NEGATION
      Complex concept negation.

    • CONCEPT_UNION

      public static final Construct CONCEPT_UNION
      Concept union.

    • CONCEPT_INTERSECTION

      public static final Construct CONCEPT_INTERSECTION
      Concept intersections.

    • UNIVERSAL_RESTRICTION

      public static final Construct UNIVERSAL_RESTRICTION
      Universal restrictions.

    • LIMITED_EXISTENTIAL

      public static final Construct LIMITED_EXISTENTIAL
      Limited existential quantifications (Top only).

    • FULL_EXISTENTIAL

      public static final Construct FULL_EXISTENTIAL
      Full existential qualification (existential restrictions that have fillers other than top.

    • ROLE_HIERARCHY

      public static final Construct ROLE_HIERARCHY
      Role hierarchy (rdfs:subPropertyOf).

    • ROLE_TRANSITIVE

      public static final Construct ROLE_TRANSITIVE
      Transitive roles.

    • ROLE_REFLEXIVITY_CHAINS

      public static final Construct ROLE_REFLEXIVITY_CHAINS
      Reflexivity and property chains.

    • ROLE_COMPLEX

      public static final Construct ROLE_COMPLEX
      Complex role inclusion axioms; irreflexivity; role disjointness.

    • NOMINALS

      public static final Construct NOMINALS
      Nominals. (Enumerated classes of object value restrictions: owl:oneOf, owl:hasValue).

    • ROLE_INVERSE

      public static final Construct ROLE_INVERSE
      Inverse properties.

    • F

      public static final Construct F
      Functional properties, a special case of uniqueness quantification.

    • N

      public static final Construct N
      Cardinality restrictions (owl:cardinality, owl:maxCardinality), a special case of counting quantification. Filler can only be top.

    • Q

      public static final Construct Q
      Qualified cardinality restrictions (available in OWL 2, cardinality restrictions that have fillers other than top).

    • D

      public static final Construct D
      Use of data properties, data values or data types.

  • Field Details

    • incompatibleRoleFetures

      public static EnumSet<Construct> incompatibleRoleFetures
      Constructs incompatible with each other - if one is found in an ontology, the other cannot be found. E.g., if Rr and I are found, then Rr is upgraded to R.

  • Method Details

    • values

      public static Construct[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static Construct valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • includedConstructs

      public Set<Construct> includedConstructs()
      Returns:
      constructs occurring within this name. Plain constructs have no components.

    • removeSubsumedConstructs

      public 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.
      Parameters:
      constructs - constructs to trim

    • trim

      public static void trim(Set<Construct> constructs)
      Remove all redundant constructs from the input.
      Parameters:
      constructs - constructs to trim

    • toString

      public String toString()
      Overrides:
      toString in class Enum<Construct>