public class UseOfObjectOneOfWithMultipleIndividuals extends UseOfIllegalClassExpression
Constructor and Description |
---|
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectOneOf oneOf) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLProfileViolationVisitor visitor)
visitor accept method
|
<O> O |
accept(OWLProfileViolationVisitorEx<O> visitor) |
String |
toString() |
getExpression
getAxiom, getOntology, getOntologyID, repair
public UseOfObjectOneOfWithMultipleIndividuals(@Nonnull OWLOntology ontology, @Nonnull OWLAxiom axiom, @Nonnull OWLObjectOneOf oneOf)
ontology
- ontologyaxiom
- axiomoneOf
- oneOfpublic void accept(@Nonnull OWLProfileViolationVisitor visitor)
OWLProfileViolation
accept
in class UseOfIllegalClassExpression
visitor
- visitorpublic <O> O accept(OWLProfileViolationVisitorEx<O> visitor)
accept
in class UseOfIllegalClassExpression
O
- visitor return typevisitor
- visitorpublic String toString()
toString
in class UseOfIllegalClassExpression
Copyright © 2020 The University of Manchester. All rights reserved.