public class UseOfIllegalAxiom extends OWLProfileViolation implements OWL2ELProfileViolation, OWL2QLProfileViolation, OWL2RLProfileViolation
Constructor and Description |
---|
UseOfIllegalAxiom(OWLOntology ontology,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ELProfileViolationVisitor visitor) |
void |
accept(OWL2QLProfileViolationVisitor visitor) |
void |
accept(OWL2RLProfileViolationVisitor visitor) |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfIllegalAxiom(OWLOntology ontology, OWLAxiom axiom)
public void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
public void accept(OWL2QLProfileViolationVisitor visitor)
accept
in interface OWL2QLProfileViolation
public void accept(OWL2RLProfileViolationVisitor visitor)
accept
in interface OWL2RLProfileViolation
public java.lang.String toString()
toString
in class java.lang.Object