Serializable
, Comparable<Profiles>
, HasIRI
, OWLProfile
public enum Profiles extends Enum<Profiles> implements HasIRI, OWLProfile
Enum Constant | 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 | 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 | 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()
OWLProfile
getName
in interface OWLProfile
public OWLProfileReport checkOntology(OWLOntology ontology)
OWLProfile
checkOntology
in interface OWLProfile
ontology
- The ontology to be checked.OWLProfileReport
that describes whether or not the
ontology is within this profile.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 © 2018 The University of Manchester. All rights reserved.