org.semanticweb.owlapi.profiles

Interface OWL2DLProfileViolation

All Known Implementing Classes:

CycleInDatatypeDefinition, DatatypeIRIAlsoUsedAsClassIRI, EmptyOneOfAxiom, IllegalPunning, InsufficientIndividuals, InsufficientOperands, InsufficientPropertyExpressions, UseOfBuiltInDatatypeInDatatypeDefinition, UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom, UseOfNonSimplePropertyInCardinalityRestriction, UseOfNonSimplePropertyInDisjointPropertiesAxiom, UseOfNonSimplePropertyInFunctionalPropertyAxiom, UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom, UseOfNonSimplePropertyInIrreflexivePropertyAxiom, UseOfNonSimplePropertyInObjectHasSelf, UseOfPropertyInChainCausesCycle, UseOfReservedVocabularyForAnnotationPropertyIRI, UseOfReservedVocabularyForClassIRI, UseOfReservedVocabularyForDataPropertyIRI, UseOfReservedVocabularyForIndividualIRI, UseOfReservedVocabularyForObjectPropertyIRI, UseOfReservedVocabularyForOntologyIRI, UseOfReservedVocabularyForVersionIRI, UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom, UseOfUndeclaredAnnotationProperty, UseOfUndeclaredClass, UseOfUndeclaredDataProperty, UseOfUndeclaredObjectProperty

public interface OWL2DLProfileViolation

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Aug-2009

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OWL2DLProfileViolationVisitor visitor)

Method Detail

accept

void accept(OWL2DLProfileViolationVisitor visitor)