View on GitHub
OWLDLConstruct Enumeration Reference
OWLDLConstruct
Objective-C
enum OWLDLConstruct {}Swift
struct OWLDLConstruct : OptionSetModels DL construct families.
-
AL - Attributive language.
Declaration
Objective-C
OWLDLConstructAL = 1 << 0Swift
static var AL: OWLDLConstruct { get } -
EL - Existential language.
Declaration
Objective-C
OWLDLConstructEL = 1 << 1Swift
static var EL: OWLDLConstruct { get } -
U - Concept union.
Declaration
Objective-C
OWLDLConstructU = 1 << 2Swift
static var U: OWLDLConstruct { get } -
C - Complex concept negation.
Declaration
Objective-C
OWLDLConstructC = 1 << 3Swift
static var C: OWLDLConstruct { get } -
E - Qualified existential restriction.
Declaration
Objective-C
OWLDLConstructE = 1 << 4Swift
static var E: OWLDLConstruct { get } -
N - Cardinality restrictions.
Declaration
Objective-C
OWLDLConstructN = 1 << 5Swift
static var N: OWLDLConstruct { get } -
Q - Qualified cardinality restrictions.
Declaration
Objective-C
OWLDLConstructQ = 1 << 6Swift
static var Q: OWLDLConstruct { get } -
H - Role hierarchies.
Declaration
Objective-C
OWLDLConstructH = 1 << 7Swift
static var H: OWLDLConstruct { get } -
I - Inverse properties.
Declaration
Objective-C
OWLDLConstructI = 1 << 8Swift
static var I: OWLDLConstruct { get } -
O - Nominals.
Declaration
Objective-C
OWLDLConstructO = 1 << 9Swift
static var O: OWLDLConstruct { get } -
F - Functional properties.
Declaration
Objective-C
OWLDLConstructF = 1 << 10Swift
static var F: OWLDLConstruct { get } -
- - Transitive properties.
Declaration
Objective-C
OWLDLConstructTRAN = 1 << 11Swift
static var TRAN: OWLDLConstruct { get } -
D - Datatypes.
Declaration
Objective-C
OWLDLConstructD = 1 << 12Swift
static var D: OWLDLConstruct { get } -
R - Complex role inclusions, role disjointness, (ir)reflexivity.
Declaration
Objective-C
OWLDLConstructR = 1 << 13Swift
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 }