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 © 2017 The University of Manchester. All Rights Reserved.