Profiles (OWLAPI :: Distribution 5.1.17 API)

java.lang.Object
- java.lang.Enum<Profiles>
- - org.semanticweb.owlapi.profiles.Profiles

All Implemented Interfaces:

Serializable, Comparable<Profiles>, HasIRI, OWLProfile
```
public enum Profiles
extends Enum<Profiles>
implements HasIRI, OWLProfile
```
This enumeration includes all currently implemented profile checkers and known information about available reasoners for those profiles. Note that reasoner capabilities might be out of date, since they are independent projects. Therefore, there might be reasoners not listed here and the reasoners listed might have changed.
The use case for this class was suggested by Peter Ansell, see patch set 1 and patch set 2.
Notice that the OWLProfiles referred here are stateless, therefore only one instance needs to be created and can be reused across threads.

Author:

ignazio

Enum Constant Summary

Enum Constants
Enum Constant and Description
`OWL2_DL` http://www.w3.org/ns/owl-profile/DL.
`OWL2_EL` http://www.w3.org/ns/owl-profile/EL.
`OWL2_FULL` http://www.w3.org/ns/owl-profile/Full.
`OWL2_QL` http://www.w3.org/ns/owl-profile/QL.
`OWL2_RL` http://www.w3.org/ns/owl-profile/RL.

Field Summary

Fields
Modifier and Type	Field and Description
`static String`	`Elk`
`static String`	`FaCTPlusPlus`
`static String`	`HermiT`
`static String`	`JFact`
`static String`	`MORe`
`static String`	`Pellet`
`static String`	`Snorocket`
`static String`	`TrOWL`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`OWLProfileReport`	`checkOntology(OWLOntology ontology)` Checks an ontology and its import closure to see if it is within this profile.
`IRI`	`getIRI()` Gets the IRI of this object.
`String`	`getName()` Gets the name of the profile.
`abstract OWLProfile`	`getOWLProfile()` Factory method for OWLProfile checkers.
`static OWLReasonerFactory`	`instantiateFactory(String factoryClassName)`
`Collection<String>`	`supportingReasoners()`
`static Profiles`	`valueForIRI(IRI i)`
`static Profiles`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static Profiles[]`	`values()` Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.profiles.OWLProfile
checkOntologyClosureInProfiles

- Enum Constant Detail
  - OWL2_DL
```
public static final Profiles OWL2_DL
```
    http://www.w3.org/ns/owl-profile/DL.
  - OWL2_QL
```
public static final Profiles OWL2_QL
```
    http://www.w3.org/ns/owl-profile/QL.
  - OWL2_EL
```
public static final Profiles OWL2_EL
```
    http://www.w3.org/ns/owl-profile/EL.
  - OWL2_RL
```
public static final Profiles OWL2_RL
```
    http://www.w3.org/ns/owl-profile/RL.
  - OWL2_FULL
```
public static final Profiles OWL2_FULL
```
    http://www.w3.org/ns/owl-profile/Full.
- Field Detail
  - FaCTPlusPlus
```
public static final String FaCTPlusPlus
```
    See Also:
    
    Constant Field Values
  - HermiT
```
public static final String HermiT
```
    See Also:
    
    Constant Field Values
  - JFact
```
public static final String JFact
```
    See Also:
    
    Constant Field Values
  - TrOWL
```
public static final String TrOWL
```
    See Also:
    
    Constant Field Values
  - Pellet
```
public static final String Pellet
```
    See Also:
    
    Constant Field Values
  - MORe
```
public static final String MORe
```
    See Also:
    
    Constant Field Values
  - Elk
```
public static final String Elk
```
    See Also:
    
    Constant Field Values
  - Snorocket
```
public static final String Snorocket
```
    See Also:
    
    Constant Field Values
- Method Detail
  - values
```
public static Profiles[] values()
```
    Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
```
for (Profiles c : Profiles.values())
    System.out.println(c);
```
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared
  - valueOf
```
public static Profiles valueOf(String name)
```
    Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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 type has no constant with the specified name
    
    NullPointerException - if the argument is null
  - instantiateFactory
```
public static OWLReasonerFactory instantiateFactory(String factoryClassName)
```
    Parameters:
    
    factoryClassName - class name to instantiate
    
    Returns:
    
    an OWLReasonerFactory if the class name represents an OWLReasonerFactory implementation available on the classpath. Any exception raised by Class.forName(factoryClassName) is wrapped by an OWLRuntimeException.
  - valueForIRI
```
public static Profiles valueForIRI(IRI i)
```
    Parameters:
    
    i - IRI to match
    
    Returns:
    
    Profiles with matching IRI, or null if none is found
  - getName
```
public String getName()
```
    Description copied from interface: OWLProfile
    
    Gets the name of the profile.
    
    Specified by:
    
    getName in interface OWLProfile
    
    Returns:
    
    A string that represents the name of the profile
  - checkOntology
```
public OWLProfileReport checkOntology(OWLOntology ontology)
```
    Description copied from interface: OWLProfile
    
    Checks an ontology and its import closure to see if it is within this profile.
    
    Specified by:
    
    checkOntology in interface OWLProfile
    
    Parameters:
    
    ontology - The ontology to be checked.
    
    Returns:
    
    An OWLProfileReport that describes whether or not the ontology is within this profile.
  - getIRI
```
public IRI getIRI()
```
    Description copied from interface: HasIRI
    
    Gets the IRI of this object.
    
    Specified by:
    
    getIRI in interface HasIRI
    
    Returns:
    
    The IRI of this object
  - getOWLProfile
```
public abstract OWLProfile getOWLProfile()
```
    Factory method for OWLProfile checkers.
    
    Returns:
    
    profile checker for this profile
  - supportingReasoners
```
public Collection<String> supportingReasoners()
```
    Returns:
    
    collection of OWLReasonerFactory class names known to support the expressivity of this profile. The factories can be instantiated through instantiateFactory() if the reasoner classes are on the classpath. Note that this list is provided for information only, and might be incorrect or incomplete due to changes in the reasoner implementations.
    Should you know of a reasoner not mentioned here, or find an error in the reported supported profiles, please raise a bug about it.

Enum Profiles

Enum Constant Summary

Field Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Methods inherited from interface org.semanticweb.owlapi.profiles.OWLProfile

Enum Constant Detail

OWL2_DL

OWL2_QL

OWL2_EL

OWL2_RL

OWL2_FULL

Field Detail

FaCTPlusPlus

HermiT

JFact

TrOWL

Pellet

MORe

Elk

Snorocket

Method Detail

values

valueOf

instantiateFactory

valueForIRI

getName

checkOntology

getIRI

getOWLProfile

supportingReasoners