| Package | Description |
|---|---|
| org.semanticweb.owlapi.profiles | |
| org.semanticweb.owlapi.reasoner |
| Modifier and Type | Class and Description |
|---|---|
class |
OWL2DLProfile
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 02-Aug-2009 |
class |
OWL2ELProfile
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 16-Apr-2008 |
class |
OWL2Profile
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 21-Jun-2008 Checks to see if an ontology and its imports closure fall into the OWL 2 DL profile. |
class |
OWL2QLProfile
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 18-Jul-2009 |
class |
OWL2RLProfile
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 03-Aug-2009 |
| 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 © 2013 The University of Manchester. All Rights Reserved.