| Package | Description |
|---|---|
| org.semanticweb.owlapi.profiles | |
| org.semanticweb.owlapi.reasoner |
| Modifier and Type | Class and Description |
|---|---|
class |
OWL2DLProfile |
class |
OWL2ELProfile |
class |
OWL2Profile
Checks to see if an ontology and its imports closure fall into the OWL 2 DL
profile.
|
class |
OWL2QLProfile |
class |
OWL2RLProfile |
| Modifier and Type | Method and Description |
|---|---|
OWLProfile |
OWLProfileReport.getProfile() |
| Constructor and Description |
|---|
OWL2ProfileReport(OWLProfile profile,
Set<OWLProfileViolation> disallowedConstructs,
Set<OWLObjectPropertyExpression> nonSimpleRoles,
Set<OWLObjectPropertyExpression> simpleRoles) |
OWLProfileReport(OWLProfile profile,
Set<OWLProfileViolation> violations) |
| Modifier and Type | Method and Description |
|---|---|
OWLProfile |
ImportsClosureNotInProfileException.getProfile()
Gets the profile which the reasoner can handle.
|
OWLProfile |
ClassExpressionNotInProfileException.getProfile() |
OWLProfile |
AxiomNotInProfileException.getProfile() |
| Constructor and Description |
|---|
AxiomNotInProfileException(OWLAxiom axiom,
OWLProfile profile) |
ClassExpressionNotInProfileException(OWLClassExpression classExpression,
OWLProfile profile) |
ImportsClosureNotInProfileException(OWLProfile profile) |
Copyright © 2014 The University of Manchester. All Rights Reserved.