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