public enum Profiles extends Enum<Profiles> implements HasIRI, OWLProfile
| 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.
|
| 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 |
| 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.
|
public static final Profiles OWL2_DL
public static final Profiles OWL2_QL
public static final Profiles OWL2_EL
public static final Profiles OWL2_RL
public static final Profiles OWL2_FULL
public static final String FaCTPlusPlus
public static final String HermiT
public static final String JFact
public static final String TrOWL
public static final String Pellet
public static final String MORe
public static final String Elk
public static final String Snorocket
public static Profiles[] values()
for (Profiles c : Profiles.values()) System.out.println(c);
public static Profiles valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullpublic String getName()
OWLProfilegetName in interface OWLProfilepublic OWLProfileReport checkOntology(OWLOntology ontology)
OWLProfilecheckOntology in interface OWLProfileontology - The ontology to be checked.OWLProfileReport that describes whether or not the
ontology is within this profile.@Provides public abstract OWLProfile getOWLProfile()
public Collection<String> supportingReasoners()
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.public static OWLReasonerFactory instantiateFactory(String factoryClassName)
factoryClassName - class name to instantiateClass.forName(factoryClassName) is
wrapped by an OWLRuntimeException.Copyright © 2017 The University of Manchester. All Rights Reserved.