public class EmptyOneOfAxiom extends OWLProfileViolation
| Constructor and Description |
|---|
EmptyOneOfAxiom(OWLOntology ontology,
OWLAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(OWLProfileViolationVisitor visitor)
visitor accept method
|
<O> O |
accept(OWLProfileViolationVisitorEx<O> visitor) |
String |
toString() |
getAxiom, getExpression, getOntology, getOntologyID, repairpublic EmptyOneOfAxiom(@Nonnull OWLOntology ontology, @Nonnull OWLAxiom axiom)
ontology - the ontology with the violationaxiom - the axiom with the violationpublic void accept(@Nonnull OWLProfileViolationVisitor visitor)
OWLProfileViolationaccept in class OWLProfileViolationvisitor - visitorpublic <O> O accept(OWLProfileViolationVisitorEx<O> visitor)
accept in class OWLProfileViolationO - visitor return typevisitor - visitorCopyright © 2016 The University of Manchester. All Rights Reserved.