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) |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)
currentOntology
- current ontologynode
- current axiomiri
- punning IRIpublic void accept(OWL2RLProfileViolationVisitor visitor)
accept
in interface OWL2RLProfileViolation
visitor
- visitor to acceptpublic void accept(OWL2QLProfileViolationVisitor visitor)
accept
in interface OWL2QLProfileViolation
visitor
- visitor to acceptpublic void accept(OWL2ProfileViolationVisitor visitor)
accept
in interface OWL2ProfileViolation
visitor
- visitor to acceptpublic void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
visitor
- visitor to acceptpublic void accept(OWL2DLProfileViolationVisitor visitor)
accept
in interface OWL2DLProfileViolation
visitor
- visitor to acceptCopyright © 2017 The University of Manchester. All Rights Reserved.