OWLDLConstruct

enum OWLDLConstruct {}

Models DL construct families.

  • AL - Attributive language.

    Declaration

    Objective-C

    OWLDLConstructAL = 1 << 0

    Swift

    static var AL: OWLDLConstruct { get }

  • EL - Existential language.

    Declaration

    Objective-C

    OWLDLConstructEL = 1 << 1

    Swift

    static var EL: OWLDLConstruct { get }

  • U - Concept union.

    Declaration

    Objective-C

    OWLDLConstructU = 1 << 2

    Swift

    static var U: OWLDLConstruct { get }

  • C - Complex concept negation.

    Declaration

    Objective-C

    OWLDLConstructC = 1 << 3

    Swift

    static var C: OWLDLConstruct { get }

  • E - Qualified existential restriction.

    Declaration

    Objective-C

    OWLDLConstructE = 1 << 4

    Swift

    static var E: OWLDLConstruct { get }

  • N - Cardinality restrictions.

    Declaration

    Objective-C

    OWLDLConstructN = 1 << 5

    Swift

    static var N: OWLDLConstruct { get }

  • Q - Qualified cardinality restrictions.

    Declaration

    Objective-C

    OWLDLConstructQ = 1 << 6

    Swift

    static var Q: OWLDLConstruct { get }

  • H - Role hierarchies.

    Declaration

    Objective-C

    OWLDLConstructH = 1 << 7

    Swift

    static var H: OWLDLConstruct { get }

  • I - Inverse properties.

    Declaration

    Objective-C

    OWLDLConstructI = 1 << 8

    Swift

    static var I: OWLDLConstruct { get }

  • O - Nominals.

    Declaration

    Objective-C

    OWLDLConstructO = 1 << 9

    Swift

    static var O: OWLDLConstruct { get }

  • F - Functional properties.

    Declaration

    Objective-C

    OWLDLConstructF = 1 << 10

    Swift

    static var F: OWLDLConstruct { get }
    • - Transitive properties.

    Declaration

    Objective-C

    OWLDLConstructTRAN = 1 << 11

    Swift

    static var TRAN: OWLDLConstruct { get }

  • D - Datatypes.

    Declaration

    Objective-C

    OWLDLConstructD = 1 << 12

    Swift

    static var D: OWLDLConstruct { get }

  • R - Complex role inclusions, role disjointness, (ir)reflexivity.

    Declaration

    Objective-C

    OWLDLConstructR = 1 << 13

    Swift

    static var R: OWLDLConstruct { get }

  • S - Shorthand for ALC+.

    Declaration

    Objective-C

    OWLDLConstructS = (OWLDLConstructAL | OWLDLConstructC | OWLDLConstructTRAN)

    Swift

    static var S: OWLDLConstruct { get }

  • EL++ - Shorthand for ELRO.

    Declaration

    Objective-C

    OWLDLConstructELPLUSPLUS =
    (OWLDLConstructEL | OWLDLConstructR | OWLDLConstructO)

    Swift

    static var ELPLUSPLUS: OWLDLConstruct { get }