| 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.
|