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