Package org.semanticweb.owlapi.util
Enum Class Languages
- All Implemented Interfaces:
Serializable
,Comparable<Languages>
,java.lang.constant.Constable
Enumeration of known DL languages
-
Nested Class Summary
Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
Enum ConstantsEnum ConstantDescriptionAL - Attributive language.ALC languageALCD language.ALCF language.ALCFD language.ALCH language.ALCHD language.ALCHF language.ALCHFD language.ALCHI language.ALCHID language.ALCHIF language.ALCHIFD language.ALCHIN language.ALCHIND language.ALCHIQ language.ALCHIQD language.ALCHN language.ALCHND language.ALCHO language.ALCHOD language.ALCHOF language.ALCHOFD language.ALCHOI language.ALCHOID language.ALCHOIF language.ALCHOIFD language.ALCHOIN language.ALCHOIND language.ALCHOIQ language.ALCHOIQD language.ALCHON language.ALCHOND language.ALCHOQ language.ALCHOQD language.ALCHQ language.ALCHQD language.ALCI language.ALCID language.ALCIF language.ALCIFD language.ALCIN language.ALCIND language.ALCIQ language.ALCIQD language.ALCN language.ALCND language.ALCO language.ALCOD language.ALCOF language.ALCOFD language.ALCOI language.ALCOID language.ALCOIF language.ALCOIFD language.ALCOIN language.ALCOIND language.ALCOIQ language.ALCOIQD language.ALCON language.ALCOND language.ALCOQ language.ALCOQD language.ALCQ language.ALCQD language.ALCR language.ALCRD language.ALCRF language.ALCRFD language.ALCRI language.ALCRID language.ALCRIF language.ALCRIFD language.ALCRIN language.ALCRIND language.ALCRIQ language.ALCRIQD language.ALCRN language.ALCRND language.ALCRO language.ALCROD language.ALCROF language.ALCROFD language.ALCROI language.ALCROID language.ALCROIF language.ALCROIFD language.ALCROIN language.ALCROIND language.ALCROIQ language.ALCROIQD language.ALCRON language.ALCROND language.ALCROQ language.ALCROQD language.ALCRQ language.ALCRQD language.ALCRr language.ALCRrD language.ALCRrF language.ALCRrFD language.ALCRrN language.ALCRrND language.ALCRrO language.ALCRrOD language.ALCRrOF language.ALCRrOFD language.ALCRrON language.ALCRrOND language.ALCRrOQ language.ALCRrOQD language.ALCRrQ language.ALCRrQD language.ALE languageEL - Existential language, allows: Concept intersection Existential restrictions (of full existential quantification)EL++ - Alias ELRO.FL - Frame based description language, allows: Concept intersection Universal restrictions Limited existential quantification Role restrictionFL0 - A sub-language of FL-, which is obtained by disallowing limited existential quantification.FL- - A sub-language of FL, which is obtained by disallowing role restriction.S language.SD language.SF language.SFD language.SH language.SHD language.SHF language.SHFD language.SHI language.SHID language.SHIF language.SHIFD language.SHIN language.SHIND language.SHIQ language.SHIQD language.SHN language.SHND language.SHO language.SHOD language.SHOF language.SHOFD language.SHOI language.SHOID language.SHOIF language.SHOIFD language.SHOIN language.SHOIND language.SHOIQ language.SHOIQD language.SHON language.SHOND language.SHOQ language.SHOQD language.SHQ language.SHQD language.SI language.SID language.SIF language.SIFD language.SIN language.SIND language.SIQ language.SIQD language.SN language.SND language.SO language.SOD language.SOF language.SOFD language.SOI language.SOID language.SOIF language.SOIFD language.SOIN language.SOIND language.SOIQ language.SOIQD language.SON language.SOND language.SOQ language.SOQD language.SQ language.SQD language.SR language.SRD language.SRF language.SRFD language.SRI language.SRID language.SRIF language.SRIFD language.SRIN language.SRIND language.SRIQ language.SRIQD language.SRN language.SRND language.SRO language.SROD language.SROF language.SROFD language.SROI language.SROID language.SROIF language.SROIFD language.SROIN language.SROIND language.SROIQ language.SROIQD language.SRON language.SROND language.SROQ language.SROQD language.SRQ language.SRQD language.SRr language.SRrD language.SRrF language.SRrFD language.SRrN language.SRrND language.SRrO language.SRrOD language.SRrOF language.SRrOFD language.SRrON language.SRrOND language.SRrOQ language.SRrOQD language.SRrQ language.SRrQD language. -
Method Summary
Modifier and TypeMethodDescriptionboolean
hasAllConstructs
(Collection<Construct> constructs) boolean
hasAllConstructs
(Construct... constructs) boolean
toString()
static Languages
Returns the enum constant of this class with the specified name.static Languages[]
values()
Returns an array containing the constants of this enum class, in the order they are declared.Methods inherited from class java.lang.Enum
compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
-
Enum Constant Details
-
FL0
FL0 - A sub-language of FL-, which is obtained by disallowing limited existential quantification. -
FLMINUS
FL- - A sub-language of FL, which is obtained by disallowing role restriction. This is equivalent to AL without atomic negation. -
FL
FL - Frame based description language, allows:- Concept intersection
- Universal restrictions
- Limited existential quantification
- Role restriction
-
AL
AL - Attributive language. This is the base language which allows:- Atomic negation (negation of concept names that do not appear on the left-hand side of axioms)
- Concept intersection
- Universal restrictions
- Limited existential quantification
-
EL
EL - Existential language, allows:- Concept intersection
- Existential restrictions (of full existential quantification)
-
ALE
ALE language -
ALC
ALC language -
S
S language. -
ALCD
ALCD language. -
ALCF
ALCF language. -
ALCFD
ALCFD language. -
ALCN
ALCN language. -
ALCND
ALCND language. -
ALCQ
ALCQ language. -
ALCQD
ALCQD language. -
ALCI
ALCI language. -
ALCID
ALCID language. -
ALCIF
ALCIF language. -
ALCIFD
ALCIFD language. -
ALCIN
ALCIN language. -
ALCIND
ALCIND language. -
ALCIQ
ALCIQ language. -
ALCIQD
ALCIQD language. -
ALCO
ALCO language. -
ALCOD
ALCOD language. -
ALCOF
ALCOF language. -
ALCOFD
ALCOFD language. -
ALCON
ALCON language. -
ALCOND
ALCOND language. -
ALCOQ
ALCOQ language. -
ALCOQD
ALCOQD language. -
ALCOI
ALCOI language. -
ALCOID
ALCOID language. -
ALCOIF
ALCOIF language. -
ALCOIFD
ALCOIFD language. -
ALCOIN
ALCOIN language. -
ALCOIND
ALCOIND language. -
ALCOIQ
ALCOIQ language. -
ALCOIQD
ALCOIQD language. -
ALCH
ALCH language. -
ALCHD
ALCHD language. -
ALCHF
ALCHF language. -
ALCHFD
ALCHFD language. -
ALCHN
ALCHN language. -
ALCHND
ALCHND language. -
ALCHQ
ALCHQ language. -
ALCHQD
ALCHQD language. -
ALCHI
ALCHI language. -
ALCHID
ALCHID language. -
ALCHIF
ALCHIF language. -
ALCHIFD
ALCHIFD language. -
ALCHIN
ALCHIN language. -
ALCHIND
ALCHIND language. -
ALCHIQ
ALCHIQ language. -
ALCHIQD
ALCHIQD language. -
ALCHO
ALCHO language. -
ALCHOD
ALCHOD language. -
ALCHOF
ALCHOF language. -
ALCHOFD
ALCHOFD language. -
ALCHON
ALCHON language. -
ALCHOND
ALCHOND language. -
ALCHOQ
ALCHOQ language. -
ALCHOQD
ALCHOQD language. -
ALCHOI
ALCHOI language. -
ALCHOID
ALCHOID language. -
ALCHOIF
ALCHOIF language. -
ALCHOIFD
ALCHOIFD language. -
ALCHOIN
ALCHOIN language. -
ALCHOIND
ALCHOIND language. -
ALCHOIQ
ALCHOIQ language. -
ALCHOIQD
ALCHOIQD language. -
ALCRr
ALCRr language. -
ALCRrD
ALCRrD language. -
ALCRrF
ALCRrF language. -
ALCRrFD
ALCRrFD language. -
ALCRrN
ALCRrN language. -
ALCRrND
ALCRrND language. -
ALCRrQ
ALCRrQ language. -
ALCRrQD
ALCRrQD language. -
ALCRrO
ALCRrO language. -
ALCRrOD
ALCRrOD language. -
ALCRrOF
ALCRrOF language. -
ALCRrOFD
ALCRrOFD language. -
ALCRrON
ALCRrON language. -
ALCRrOND
ALCRrOND language. -
ALCRrOQ
ALCRrOQ language. -
ALCRrOQD
ALCRrOQD language. -
ALCR
ALCR language. -
ALCRD
ALCRD language. -
ALCRF
ALCRF language. -
ALCRFD
ALCRFD language. -
ALCRN
ALCRN language. -
ALCRND
ALCRND language. -
ALCRQ
ALCRQ language. -
ALCRQD
ALCRQD language. -
ALCRI
ALCRI language. -
ALCRID
ALCRID language. -
ALCRIF
ALCRIF language. -
ALCRIFD
ALCRIFD language. -
ALCRIN
ALCRIN language. -
ALCRIND
ALCRIND language. -
ALCRIQ
ALCRIQ language. -
ALCRIQD
ALCRIQD language. -
ALCRO
ALCRO language. -
ALCROD
ALCROD language. -
ALCROF
ALCROF language. -
ALCROFD
ALCROFD language. -
ALCRON
ALCRON language. -
ALCROND
ALCROND language. -
ALCROQ
ALCROQ language. -
ALCROQD
ALCROQD language. -
ALCROI
ALCROI language. -
ALCROID
ALCROID language. -
ALCROIF
ALCROIF language. -
ALCROIFD
ALCROIFD language. -
ALCROIN
ALCROIN language. -
ALCROIND
ALCROIND language. -
ALCROIQ
ALCROIQ language. -
ALCROIQD
ALCROIQD language. -
SD
SD language. -
SF
SF language. -
SFD
SFD language. -
SN
SN language. -
SND
SND language. -
SQ
SQ language. -
SQD
SQD language. -
SI
SI language. -
SID
SID language. -
SIF
SIF language. -
SIFD
SIFD language. -
SIN
SIN language. -
SIND
SIND language. -
SIQ
SIQ language. -
SIQD
SIQD language. -
SO
SO language. -
SOD
SOD language. -
SOF
SOF language. -
SOFD
SOFD language. -
SON
SON language. -
SOND
SOND language. -
SOQ
SOQ language. -
SOQD
SOQD language. -
SOI
SOI language. -
SOID
SOID language. -
SOIF
SOIF language. -
SOIFD
SOIFD language. -
SOIN
SOIN language. -
SOIND
SOIND language. -
SOIQ
SOIQ language. -
SOIQD
SOIQD language. -
SH
SH language. -
SHD
SHD language. -
SHF
SHF language. -
SHFD
SHFD language. -
SHN
SHN language. -
SHND
SHND language. -
SHQ
SHQ language. -
SHQD
SHQD language. -
SHI
SHI language. -
SHID
SHID language. -
SHIF
SHIF language. -
SHIFD
SHIFD language. -
SHIN
SHIN language. -
SHIND
SHIND language. -
SHIQ
SHIQ language. -
SHIQD
SHIQD language. -
SHO
SHO language. -
SHOD
SHOD language. -
SHOF
SHOF language. -
SHOFD
SHOFD language. -
SHON
SHON language. -
SHOND
SHOND language. -
SHOQ
SHOQ language. -
SHOQD
SHOQD language. -
SHOI
SHOI language. -
SHOID
SHOID language. -
SHOIF
SHOIF language. -
SHOIFD
SHOIFD language. -
SHOIN
SHOIN language. -
SHOIND
SHOIND language. -
SHOIQ
SHOIQ language. -
SHOIQD
SHOIQD language. -
SRr
SRr language. -
SRrD
SRrD language. -
SRrF
SRrF language. -
SRrFD
SRrFD language. -
SRrN
SRrN language. -
SRrND
SRrND language. -
SRrQ
SRrQ language. -
SRrQD
SRrQD language. -
SRrO
SRrO language. -
SRrOD
SRrOD language. -
SRrOF
SRrOF language. -
SRrOFD
SRrOFD language. -
SRrON
SRrON language. -
SRrOND
SRrOND language. -
SRrOQ
SRrOQ language. -
SRrOQD
SRrOQD language. -
SR
SR language. -
SRD
SRD language. -
SRF
SRF language. -
SRFD
SRFD language. -
SRN
SRN language. -
SRND
SRND language. -
SRQ
SRQ language. -
SRQD
SRQD language. -
SRI
SRI language. -
SRID
SRID language. -
SRIF
SRIF language. -
SRIFD
SRIFD language. -
SRIN
SRIN language. -
SRIND
SRIND language. -
SRIQ
SRIQ language. -
SRIQD
SRIQD language. -
SRO
SRO language. -
SROD
SROD language. -
SROF
SROF language. -
SROFD
SROFD language. -
SRON
SRON language. -
SROND
SROND language. -
SROQ
SROQ language. -
SROQD
SROQD language. -
SROI
SROI language. -
SROID
SROID language. -
SROIF
SROIF language. -
SROIFD
SROIFD language. -
SROIN
SROIN language. -
SROIND
SROIND language. -
SROIQ
SROIQ language. -
SROIQD
SROIQD language. -
ELPLUSPLUS
EL++ - Alias ELRO.
-
-
Method Details
-
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
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 nameNullPointerException
- if the argument is null
-
components
- Returns:
- constructs occurring within this name. Plain constructs have no components.
-
toString
-
isSubLanguageOf
- Parameters:
l
- language to check- Returns:
- true if this is a sublanguage of l
-
hasAllConstructs
- Parameters:
constructs
- constructs to compare- Returns:
- true if all constructs appear in the components
-
hasAllConstructs
- Parameters:
constructs
- constructs to compare- Returns:
- true if all constructs appear in the components
-