CycleInDatatypeDefinition |
|
DatatypeIRIAlsoUsedAsClassIRI |
Specifies that an IRI that is used for a datatype is also used for a class
IRI.
|
EmptyOneOfAxiom |
OneOf axiom is empty.
|
IllegalPunning |
Punning between properties is not allowed.
|
InsufficientIndividuals |
Not enough individuals.
|
InsufficientOperands |
Not enough operands.
|
InsufficientPropertyExpressions |
Insufficient property expressions.
|
LastPropertyInChainNotInImposedRange |
|
LexicalNotInLexicalSpace |
|
OntologyIRINotAbsolute |
|
OntologyVersionIRINotAbsolute |
|
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.
|
UseOfAnonymousIndividual |
|
UseOfBuiltInDatatypeInDatatypeDefinition |
|
UseOfDataOneOfWithMultipleLiterals |
|
UseOfDefinedDatatypeInDatatypeRestriction |
|
UseOfIllegalAxiom |
|
UseOfIllegalClassExpression |
Indicates that a class expression in an axiom is not in the profile.
|
UseOfIllegalDataRange |
|
UseOfIllegalFacetRestriction |
|
UseOfNonAbsoluteIRI |
|
UseOfNonAtomicClassExpression |
|
UseOfNonEquivalentClassExpression |
|
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom |
|
UseOfNonSimplePropertyInCardinalityRestriction |
|
UseOfNonSimplePropertyInDisjointPropertiesAxiom |
|
UseOfNonSimplePropertyInFunctionalPropertyAxiom |
|
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom |
|
UseOfNonSimplePropertyInIrreflexivePropertyAxiom |
|
UseOfNonSimplePropertyInObjectHasSelf |
|
UseOfNonSubClassExpression |
|
UseOfNonSuperClassExpression |
|
UseOfObjectOneOfWithMultipleIndividuals |
|
UseOfObjectPropertyInverse |
|
UseOfPropertyInChainCausesCycle |
|
UseOfReservedVocabularyForAnnotationPropertyIRI |
|
UseOfReservedVocabularyForClassIRI |
|
UseOfReservedVocabularyForDataPropertyIRI |
|
UseOfReservedVocabularyForIndividualIRI |
|
UseOfReservedVocabularyForObjectPropertyIRI |
|
UseOfReservedVocabularyForOntologyIRI |
|
UseOfReservedVocabularyForVersionIRI |
|
UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom |
|
UseOfUndeclaredAnnotationProperty |
|
UseOfUndeclaredClass |
|
UseOfUndeclaredDataProperty |
|
UseOfUndeclaredDatatype |
* Specifies that a datatype is not declared.
|
UseOfUndeclaredObjectProperty |
|
UseOfUnknownDatatype |
Use of an unknown datatype.
|