public interface OWLProfile extends HasIRI
Modifier and Type | Field and Description |
---|---|
static IRI |
OWL2_DL
http://www.w3.org/ns/owl-profile/DL
|
static IRI |
OWL2_EL
http://www.w3.org/ns/owl-profile/EL
|
static IRI |
OWL2_FULL
http://www.w3.org/ns/owl-profile/Full
|
static IRI |
OWL2_QL
http://www.w3.org/ns/owl-profile/QL
|
static IRI |
OWL2_RL
http://www.w3.org/ns/owl-profile/RL
|
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()
The IRI that uniquely identifies this profile.
|
String |
getName()
Gets the name of the profile.
|
static final IRI OWL2_DL
static final IRI OWL2_EL
static final IRI OWL2_QL
static final IRI OWL2_RL
static final IRI OWL2_FULL
String getName()
IRI getIRI()
OWLProfileReport checkOntology(OWLOntology ontology)
ontology
- The ontology to be checked.OWLProfileReport
that describes whether or not the
ontology is within this profile.Copyright © 2017 The University of Manchester. All Rights Reserved.