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