Checks to see if an ontology and its imports closure fall into the OWL 2 FULL profile.
A specialized walker that skips visiting annotation assertion literals.
Describes a violation of an OWLProfile by an axiom.
This enumeration includes all currently implemented profile checkers and known information about available reasoners for those profiles.
Copyright © 2017 The University of Manchester. All rights reserved.