public class UseOfNonEquivalentClassExpression extends OWLProfileViolation implements OWL2RLProfileViolation
Constructor and Description |
---|
UseOfNonEquivalentClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2RLProfileViolationVisitor visitor) |
OWLClassExpression |
getOWLClassExpression() |
String |
toString() |
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfNonEquivalentClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
ontology
- wrong ontologyaxiom
- wrong axiomclassExpression
- wrong class expressionpublic OWLClassExpression getOWLClassExpression()
public void accept(OWL2RLProfileViolationVisitor visitor)
accept
in interface OWL2RLProfileViolation
visitor
- visitor to acceptCopyright © 2017 The University of Manchester. All Rights Reserved.