public class UseOfNonSubClassExpression extends OWLProfileViolation implements OWL2QLProfileViolation, OWL2RLProfileViolation
Constructor and Description |
---|
UseOfNonSubClassExpression(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 UseOfNonSubClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
public void accept(OWL2QLProfileViolationVisitor visitor)
accept
in interface OWL2QLProfileViolation
public void accept(OWL2RLProfileViolationVisitor visitor)
accept
in interface OWL2RLProfileViolation
public OWLClassExpression getOWLClassExpression()
public java.lang.String toString()
toString
in class java.lang.Object