| 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 FULL 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
|
| ProfileVisitor |
Profile visitor - walks the imports closure and adds all violations found to the violation
collection.
|
| ProfileVisitorBase |
Base class for profile violation visitors.
|
| Enum | Description |
|---|---|
| Profiles |
This enumeration includes all currently implemented profile checkers and known information about
available reasoners for those profiles.
|
Copyright © 2020 The University of Manchester. All rights reserved.