public class UseOfObjectOneOfWithMultipleIndividuals extends UseOfIllegalClassExpression implements OWL2ELProfileViolation
Constructor and Description |
---|
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectOneOf oneOf) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWL2ELProfileViolationVisitor visitor) |
OWLObjectOneOf |
getOWLObjectOneOf() |
String |
toString() |
getOWLClassExpression
getAxiom, getDocumentIRI, getImportsClosure, getOntologyID
public UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)
ontology
- wrong ontologyaxiom
- wrong axiomoneOf
- wrong expressionpublic void accept(OWL2ELProfileViolationVisitor visitor)
accept
in interface OWL2ELProfileViolation
accept
in class UseOfIllegalClassExpression
visitor
- visitor to acceptpublic OWLObjectOneOf getOWLObjectOneOf()
public String toString()
toString
in class UseOfIllegalClassExpression
Copyright © 2017 The University of Manchester. All Rights Reserved.