public class UseOfUndeclaredAnnotationProperty extends OWLProfileViolation implements OWL2DLProfileViolation
Constructor and Description |
---|
UseOfUndeclaredAnnotationProperty(OWLOntology ontology,
OWLAxiom axiom,
OWLAnnotation annotation,
OWLAnnotationProperty prop) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
OWLAnnotation |
getOWLAnnotation() |
OWLAnnotationProperty |
getOWLAnnotationProperty() |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfUndeclaredAnnotationProperty(OWLOntology ontology, OWLAxiom axiom, OWLAnnotation annotation, OWLAnnotationProperty prop)
public OWLAnnotationProperty getOWLAnnotationProperty()
public OWLAnnotation getOWLAnnotation()
public void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation
public java.lang.String toString()
toString
in class java.lang.Object