public class UseOfNonSuperClassExpression extends OWLProfileViolation implements OWL2QLProfileViolation, OWL2RLProfileViolation
Constructor and Description |
---|
UseOfNonSuperClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2QLProfileViolationVisitor visitor) |
void |
accept(OWL2RLProfileViolationVisitor visitor) |
OWLClassExpression |
getOWLClassExpression() |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfNonSuperClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
public OWLClassExpression getOWLClassExpression()
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