| Interface | Description |
|---|---|
| OWLProfile | |
| OWLProfileViolationVisitor | |
| OWLProfileViolationVisitorEx<T> |
| Class | Description |
|---|---|
| OWL2DLProfile | |
| OWL2ELProfile | |
| OWL2Profile |
Checks to see if an ontology and its imports closure fall into the OWL 2 DL
profile.
|
| OWL2ProfileReport | |
| OWL2QLProfile | |
| OWL2RLProfile | |
| OWLOntologyProfileWalker |
A specialized walker that skips visiting annotation assertion literals.
|
| OWLProfileReport | |
| OWLProfileViolation |
Describes a violation of an OWLProfile by an axiom.
|
| OWLProfileViolationVisitorAdapter | |
| OWLProfileViolationVisitorExAdapter<O> |
adapter class
|
| Enum | Description |
|---|---|
| Profiles |
This enumeration includes all currently implemented profile checkers and
known information about available reasoners for those profiles.
|
Copyright © 2016 The University of Manchester. All Rights Reserved.