public class UseOfObjectPropertyInverse extends OWLProfileViolation implements OWL2ELProfileViolation
Constructor and Description |
---|
UseOfObjectPropertyInverse(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression propertyExpression) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ELProfileViolationVisitor visitor) |
OWLObjectPropertyExpression |
getOWLPropertyExpression() |
java.lang.String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
public void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
public OWLObjectPropertyExpression getOWLPropertyExpression()
public java.lang.String toString()
toString
in class java.lang.Object