public class IllegalPunning extends OWLProfileViolation implements OWL2DLProfileViolation, OWL2ELProfileViolation, OWL2ProfileViolation, OWL2QLProfileViolation, OWL2RLProfileViolation
Constructor and Description |
---|
IllegalPunning(OWLOntology currentOntology,
OWLAxiom node,
IRI iri) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2DLProfileViolationVisitor visitor) |
void |
accept(OWL2ELProfileViolationVisitor visitor) |
void |
accept(OWL2ProfileViolationVisitor visitor) |
void |
accept(OWL2QLProfileViolationVisitor visitor) |
void |
accept(OWL2RLProfileViolationVisitor visitor) |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)
currentOntology
- node
- iri
- public java.lang.String toString()
toString
in class java.lang.Object
public void accept(OWL2RLProfileViolationVisitor visitor)
accept
in interface OWL2RLProfileViolation
public void accept(OWL2QLProfileViolationVisitor visitor)
accept
in interface OWL2QLProfileViolation
public void accept(OWL2ProfileViolationVisitor visitor)
accept
in interface OWL2ProfileViolation
public void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
public void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation