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() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyIDpublic UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
ontology - wrong ontologyaxiom - wrong axiompropertyExpression - wrong propertypublic void accept(OWL2ELProfileViolationVisitor visitor)
accept in interface OWL2ELProfileViolationvisitor - visitor to acceptpublic OWLObjectPropertyExpression getOWLPropertyExpression()
Copyright © 2014 The University of Manchester. All Rights Reserved.