public class UseOfReservedVocabularyForDataPropertyIRI extends OWLProfileViolation implements OWL2DLProfileViolation
Constructor and Description |
---|
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLDataProperty property) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
OWLDataProperty |
getOWLDataProperty() |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty property)
public OWLDataProperty getOWLDataProperty()
public void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation
public java.lang.String toString()
toString
in class java.lang.Object