public class UseOfDefinedDatatypeInDatatypeRestriction extends OWLProfileViolation implements OWL2ProfileViolation
Constructor and Description |
---|
UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLDatatypeRestriction restriction) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ProfileViolationVisitor visitor) |
OWLDatatypeRestriction |
getOWLDatatypeRestriction() |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction restriction)
public void accept(OWL2ProfileViolationVisitor visitor)
accept
in interface OWL2ProfileViolation
public OWLDatatypeRestriction getOWLDatatypeRestriction()
public java.lang.String toString()
toString
in class java.lang.Object